Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Andrea Asperti

Books by author

Andrea Asperti

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

1991 · ENGLISH · PDF

View details →

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

1991 · ENGLISH · PDF

View details →

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

2003 · ENGLISH · PDF

View details →

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

2004 · ENGLISH · PDF

View details →

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

1995 · ENGLISH · PDF

View details →

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

Logica a informatica

Logica a informatica

1997 · ITALIAN · PDF

View details →

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

2003 · ENGLISH · PDF

View details →

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

1991 · ENGLISH · PDF

View details →

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

1994 · ENGLISH · DJVU

View details →

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

Mathematical Knowledge Management: Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

2004 · ENGLISH · PDF

View details →

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

2003 · ENGLISH · PDF

View details →

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings

1995 · ENGLISH · DJVU

View details →

The optimal implementation of functional programming languages

The optimal implementation of functional programming languages

1999 · ENGLISH · PDF

View details →

Categories, types, and structures. Introduction to category theory for computer scientists

Categories, types, and structures. Introduction to category theory for computer scientists

1991 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme