Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Honsell, Furio - Dipartimento di Matematica e Informatica, Università degli Studi di Udine
Operations, Collections and Sets within a General Axiomatic Framework \Lambda
J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
Partializing Stone Spaces using SFP domains ? (Extended Abstract)
Game semantics for untyped fijcalculus Pietro Di Gianantonio, Gianluca Franco, and Furio Honsell
Papers by Furio Honsell International Journals
Encoding Modal Logics in Logical Frameworks ? Arnon Avron 2 , Furio Honsell 3 , Marino Miculan 3 and Cristian Paravano 3
calculus in (Co)Inductive Type Theory Furio Honsell \Lambda Marino Miculan \Lambda Ivan Scagnetto \Lambda
A Natural Deduction Approach to Dynamic Logic \Lambda
Partializing Stone Spaces using SFP domains \Lambda Fabio Alessi, Paolo Baldan, Furio Honsell
