Active Bibliography

and – Furio Honsell, Donald Sannella
12 Constructive Data Refinement in Typed Lambda Calculus – Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki - 2000
11 A Characterization Of Lambda Definability In Categorical Models Of Implicit Polymorphism – Moez Alimohamed - 1995
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
8 Global Development via Local Observational Construction Steps – Michel Bidoit, Donald Sannella, Andrzej Tarlecki - 2002
2 A higher-order simulation relation for System F – Jo Erskine Hannay - 2000
338 Interface Automata – Luca de Alfaro, Thomas A. Henzinger - 2001
333 Theorems for free! – Philip Wadler - 1989