Home Advanced Search

Advanced Search - Page 1

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.)
Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Andreas Abel (auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (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.)
Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures
  • PDF
  • English
  • Year: 2002
  • Author: Gilles Barthe, Thierry Coquand (auth.), Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva (eds.)
Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures
  • PDF
  • English
  • Year: 2002
  • Author: Gilles Barthe, Thierry Coquand (auth.), Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva (eds.)
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
The Euro: Consequences for the Consumer and the Citizen
  • PDF
  • English
  • Year: 1999
  • Author: Thierry Vissol (auth.), Thierry Vissol (eds.)
Experimental and Computational Solutions of Hydraulic Problems: 32nd International School of Hydraulics
  • PDF
  • English
  • Year: 2013
  • Author: Paweł M. Rowiński, Monika B. Kalinowska (auth.), Paweł Rowiński (eds.)
search