Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
Logical foundations of functional programming / ed. Gérard Huet Monografia Publication Reading, Mass. : Addison-Wesley, cop. 1990 Description XVI, 490 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Add to cart
Logical environments / ed. Gérard Huet, Gordon Plotkin Monografia Publication Cambridge : Cambridge University Press, 1993 Description XIII, 338 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions / Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring Monografia Publication Berlin : Springer, cop. 2004 Description XV, 469 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (4). Checked out (1).

Place hold Add to cart