1. Syntactic considerations on recursive types
2. S. Abramsky and A. Jung. 1994. Domain Theory. In Handbook of Logic in Computer Science (Vol. 3). Oxford University Press Oxford UK. 1–168. isbn:0-19-853762-X http://dl.acm.org/citation.cfm?id=218742.218744 S. Abramsky and A. Jung. 1994. Domain Theory. In Handbook of Logic in Computer Science (Vol. 3). Oxford University Press Oxford UK. 1–168. isbn:0-19-853762-X http://dl.acm.org/citation.cfm?id=218742.218744
3. Charles H. Bennett , Gilles Brassard , Claude Crépeau , Richard Jozsa , Asher Peres , and William K . Wootters . 1993 . Teleporting an Unknown Quantum State via Dual Classical and EPR Channels . Charles H. Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa, Asher Peres, and William K. Wootters. 1993. Teleporting an Unknown Quantum State via Dual Classical and EPR Channels.
4. A mixed linear and non-linear logic: Proofs, terms and models
5. P. N. Benton and P. Wadler . 1996. Linear Logic , Monads and the Lambda Calculus. In LICS 1996 . P. N. Benton and P. Wadler. 1996. Linear Logic, Monads and the Lambda Calculus. In LICS 1996.