Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
Type theory and formal proof : an introduction / Rob Nederpelt, Herman Geuvers Monografia Publication Cambridge : Cambridge University Press, cop. 2014 Description XXV, 436 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpelt Monografia Publication London : Kluwer Academic Publishers, [imp. 2010] Description XIV, 357 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Selected papers on automath / ed. R. P. Nederpelt, J. H. Geuvers, R. C. De Vrijer ; colab. L. S. Van Benthem Jutting, D. T. Van Daalen Monografia Publication Amsterdam : Elsevier, 1994 Description XIX, 1024 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart