Home Advanced Search

Advanced Search - Page 1

The optimal implementation of functional programming languages
  • PDF
  • English
  • Year: 1999
  • Author: Andrea Asperti, Stefano Guerrini
Categories, types, and structures : an introduction to category theory for the working computer scientist
  • PDF
  • English
  • Year: 1991
  • Author: Andrea Asperti
Categories, types, and structures : an introduction to category theory for the working computer scientist
  • PDF
  • English
  • Year: 1991
  • Author: Andrea Asperti
Robert Wyatt: Folly Bololy. Testi commentati
  • EPUB
  • Italian
  • Year: 2019
  • Author: Andrea Guerrini
The History of Fossils Over Centuries: From Folklore to Science
  • PDF
  • English
  • Year: 2022
  • Author: Maurizio Forli, Andrea Guerrini
The History of Fossils Over Centuries: From Folklore to Science
  • EPUB
  • English
  • Author: Maurizio Forli; Andrea Guerrini
Categories, types and structures
  • PDF
  • English
  • Year: 1991
  • Author: Asperti A.
Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
search