Home Advanced Search

Advanced Search - Page 1

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.)
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (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.)
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.)
Probability and Bayesian Statistics
  • PDF
  • English
  • Year: 1987
  • Author: Peter Abel (auth.), R. Viertl (eds.)
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
  • PDF
  • English
  • Year: 1989
  • Author: Guiseppe Longo (auth.), David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (eds.)
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
  • PDF
  • English
  • Year: 2012
  • Author: Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm (eds.)
Control of Uncertain Systems: Proceedings of an International Workshop Bremen, West Germany, June 1989
  • PDF
  • English
  • Year: 1990
  • Author: Jan Bontsema, Ruth F. Curtain (auth.), Diederich Hinrichsen, Bengt Mårtensson (eds.)
search