Home Advanced Search

Advanced Search - Page 1

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.)
Stochastic Partial Differential Equations and Their Applications: Proceedings of IFIP WG 7/1 International Conference University of North Carolina at Charlotte, NC June 6–8, 1991
  • PDF
  • English
  • Year: 1992
  • Author: Ho S. Ahn, René A. Carmona (auth.), Boris L. Rozovskii, Richard B. Sowers (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.)
Programming in Martin-Lof's Type Theory: An Introduction
  • PDF
  • English
  • Year: 1990
  • Author: Bengt Nordstrom, Kent Petersson, Jan M. Smith
Programming in Martin-Löf's Type Theory: An Introduction
  • PDF
  • English
  • Year: 1990
  • Author: Bengt Nordstrom, Kent Petersson, Jan M. Smith
Boundary-Layer Separation: Proceedings of the IUTAM Symposium London, August 26–28, 1986
  • PDF
  • English
  • Year: 1987
  • Author: Bengt Fornberg (auth.), Prof. Frank T. Smith, Prof. Susan N. Brown (eds.)
Lost Sex: The Evolutionary Biology of Parthenogenesis
  • PDF
  • English
  • Year: 2009
  • Author: Bengt O. Bengtsson (auth.), Isa Schön, Koen Martens, Peter Dijk (eds.)
search