[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Continuation models are universal for λ/sub μ/-calculus
- 作者Hofmann, M.; Streicher, T.
- 文件大小769.98KB
- 发表时间1997
- DOI10.1109/lics.1997.614964
- 页码387-395
[IEEE 2003 European Quantum Electronics Conference. EQEC 2003 - Munich, Germany (2003.06.27-2003.06.27)] 2003 European Quantum Electronics Conference. EQEC 2003 (IEEE Cat No.03TH8665) - 2003 European Quantum Electronics Conference. EQEC 2003 (IEEE Cat No.03TH8665)2003
[IEEE 2003 European Quantum Electronics Conference. EQEC 2003 - Munich, Germany (22-27 June 2003)] 2003 European Quantum Electronics Conference. EQEC 2003 (IEEE Cat No.03TH8665) - Quantum communications in spaceRarity, J.G.; Tapster, P.R.; Knight, P.; Gorman, P.M. · 2003
[IEEE 2003 European Quantum Electronics Conference. EQEC 2003 - Munich, Germany (22-27 June 2003)] 2003 European Quantum Electronics Conference. EQEC 2003 (IEEE Cat No.03TH8665) - Optimal dimensionality for quantum cryptographyHoroshko, D.B.; Kilin, S.Ya. · 2003
[IEEE 2003 European Quantum Electronics Conference. EQEC 2003 - Munich, Germany (22-27 June 2003)] 2003 European Quantum Electronics Conference. EQEC 2003 (IEEE Cat No.03TH8665) - Passive autocompensating quantum cryptographyWalton, Z.D.; Abouraddy, A.F.; Sergienko, A.V.; Saleh, B.E.A.; Teich, M.C. · 2003
[IEEE 2003 European Quantum Electronics Conference. EQEC 2003 - Munich, Germany (22-27 June 2003)] 2003 European Quantum Electronics Conference. EQEC 2003 (IEEE Cat No.03TH8665) - Experimental implementation of a quantum gameSchuck, C.; Schulz, O.; Kurtsiefer, C.; Weinfurter, H. · 2003
[IEEE 2003 European Quantum Electronics Conference. EQEC 2003 (IEEE Cat No.03TH8665) - Munich, Germany (2003.06.27-2003.06.27)] 2003 European Quantum Electronics Conference. EQEC 2003 (IEEE Cat No.03TH8665) - Quantum optics of single atomsWalther, H. · 2003
[IEEE 2003 European Quantum Electronics Conference. EQEC 2003 (IEEE Cat No.03TH8665) - Munich, Germany (2003.06.27-2003.06.27)] 2003 European Quantum Electronics Conference. EQEC 2003 (IEEE Cat No.03TH8665) - Quantum dot single photon sourcesYamamoto, Y. · 2003
[IEEE 2003 European Quantum Electronics Conference. EQEC 2003 - Munich, Germany (22-27 June 2003)] 2003 European Quantum Electronics Conference. EQEC 2003 (IEEE Cat No.03TH8665) - Long distance quantum teleportation in quantum relay configurationde Riedmatten, H.; Marcikic, I.; Tittel, W.; Zbinden, H.; Gisin, N. · 2003