Berardi, Stefano.
Stefano Berardi
VIAF ID: 92793962 ( Personal )
Permalink: http://viaf.org/viaf/92793962
Preferred Forms
- 200 _ | ‡a Berardi ‡b Stefano
- 100 1 _ ‡a Berardi, Stefano
-
-
-
- 100 1 _ ‡a Berardi, Stefano
-
- 100 1 _ ‡a Berardi, Stefano (sparse)
-
- 100 1 0 ‡a Berardi, Stefano
-
-
- 100 0 _ ‡a Stefano Berardi
Works
Title | Sources |
---|---|
A sequent calculus for limit computable mathematics (technical report) | |
TYPES 2008 | |
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers | |
TYPES'95 |