Home Advanced Search

Advanced Search - Page 1

Lectures on the Curry-Howard Isomorphism
  • PDF
  • English
  • Year: ?
  • Author: Morten Heine Sørensen, Paweł Urzyczyn
Lectures on the Curry-Howard Isomorphism
  • PDF
  • English
  • Year: 2006
  • Author: Morten Heine Sørensen, Paweł Urzyczyn
Lectures on the Curry-Howard Isomorphism
  • PDF
  • English
  • Year: 2006
  • Author: Morten Heine Sørensen M.Sc Ph.D, Pawel Urzyczyn prof. dr hab.
Lectures on the Curry-Howard Isomorphism
  • DJVU
  • English
  • Year: 2006
  • Author: Morten Heine Sorensen, Pawel Urzyczyn
Lectures on the Curry-Howard Isomorphism
  • PDF
  • English
  • Year: 2006
  • Author: Morten Heine Sørensen M.Sc Ph.D, Pawel Urzyczyn prof. dr hab.
Lectures on the Curry-Howard isomorphism
  • PDF
  • English
  • Year: 2006
  • Author: Morten Heine Sørensen M.Sc Ph.D, Pawel Urzyczyn prof. dr hab.
Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Thierry Coquand (auth.), Paweł Urzyczyn (eds.)
Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky (auth.), Rastislav Královič, Paweł Urzyczyn (eds.)
Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky (auth.), Rastislav Královič, Paweł Urzyczyn (eds.)
Foucault. Studienhandbuch
  • PDF
  • German
  • Year: 2011
  • Author: Sverre Raffnsøe , Marius Gudmand-Høyer , Morten Sørensen Thaning (eds.)
search