< previous issue
next issue >
On intuitionistic proof nets with additional rewrite rules and their approximations
From Bohm's Theorem to Observational Equivalences - An Informal Account
Dezani-Ciancaglini, M.; Giovannetti, E.
Towards Lambda Calculus Order-Incompleteness
A CuCh Interpretation of an Object-Oriented Language
Bono, V.; Salvo, I.
Hyperformulae, Parallel Deductions and Intersection Types
Capitani, B.; Loreti, M.; Venneri, B.
The Typed Bohm Theorem
Dosen, K.; Petric, Z.
Here are a few pages on the site that we think you may find useful: