Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-3 of 3 results for author "Huet, Gérard."
Logical frameworks / edited by Gérard Huet, G. Plotkin.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSE 92-1936 Offsite Logical environments / edited by Gérard Huet, Gordon Plotkin.
- Text
- Cambridge ; New York, NY, USA : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1205 Offsite Neuilly-Plaisance : images & mémoires / Paul Grimal ... [et al.]; prolégomènes de Christian Demuynck.
- Text
- Neuilly-Plaisance : Association pour la promotion des arts, de la culture, des loisirs éducatifs et sportifs, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text DC801.N45 G75 1996x Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
