Asperti, Andrea.
Asperti, Andréa, 1961-....
Andrea Asperti
VIAF ID: 42773541 ( Personal )
Permalink: http://viaf.org/viaf/42773541
Preferred Forms
- 100 0 _ ‡a Andrea Asperti
- 200 _ 1 ‡a Asperti ‡b , Andrea
- 200 _ | ‡a Asperti ‡b Andrea ‡f 1961-....
-
-
- 100 1 _ ‡a Asperti, Andrea
- 100 1 0 ‡a Asperti, Andrea
-
-
-
- 100 1 _ ‡a Asperti, Andrea ‡d 1961-...
-
-
- 100 1 _ ‡a Asperti, Andréa, ‡d 1961-....
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Applied category theory, 1990: | |
Categorical topics in computer science | |
Categories, types, and structures : an introduction to category theory for the working computer scientist | |
Certificats pour le typage incrémental. | |
Esperimenti di compilazione in ambiente unix : Pascal / A. Asperti, R. Davoli | |
Logica a informatica / Andrea Asperti, Agata Ciabattoni | |
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings | |
MKM 2004 | |
The optimal implementation of functional programming languages |