Home Advanced Search

Advanced Search - Page 1

Type theory and formal proof: an Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Geuvers, Jan Herman; Nederpelt, R. P
Type Theory and Formal Proof: An Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Professor Rob Nederpelt, Professor Herman Geuvers
Type Theory and Formal Proof: An Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Professor Rob Nederpelt, Professor Herman Geuvers
A Modern Perspective on Type Theory: From its Origins until Today
  • DJVU
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt
A Modern Perspective on Type Theory: From its Origins until Today
  • DJVU
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Diseases of the Hair and Scalp
  • PDF
  • English
  • Year: 1997
  • Author: R. P. R. Dawber
Selected papers on automath
  • DJVU
  • English
  • Year: 1994
  • Author: R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
Selected Papers on Automath
  • PDF
  • English
  • Year: 1994
  • Author: R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
A Modern Perspective on Type Theory: From its Origins until Today
  • PDF
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt (auth.)
Selected Papers on Automath
  • DJVU
  • English
  • Year: 1994
  • Author: R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
search