Home Advanced Search

Advanced Search - Page 1

Logica a informatica
  • PDF
  • Italian
  • Year: 1997
  • Author: Andrea Asperti, Agata Ciabattoni
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
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 (Foundations of Computing Series)
  • PDF
  • English
  • Year: 1991
  • Author: Andrea Asperti, Giuseppe Longo
Categories, types, and structures. Introduction to category theory for computer scientists
  • PDF
  • English
  • Year: 1991
  • Author: Andrea Asperti, Giuseppe Longo
Logic, Language, Information, and Computation. 28th International Workshop, WoLLIC 2022 Iași, Romania, September 20–23, 2022 Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz
Categories, types and structures
  • PDF
  • English
  • Year: 1991
  • Author: Asperti A.
Lectures on Soft Computing and Fuzzy Logic
  • PDF
  • English
  • Year: 2001
  • Author: Matthias Baaz, Agata Ciabattoni (auth.), Prof. Antonio Di Nola, Prof. Giangiacomo Gerla (eds.)
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
  • PDF
  • English
  • Year: 2007
  • Author: Arnon Avron, Anna Zamansky (auth.), Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (eds.)
search