Author:
de'Liguoro Ugo,Treglia Riccardo
Publisher
Open Publishing Association
Reference26 articles.
1. Domain Theory in Logical Form;Abramsky;Ann. Pure Appl. Log.,1991
2. Full abstraction in the lazy lambda calculus;Abramsky;Inf. Comput.,1993
3. Inverse Limit Models as Filter Models;Alessi,2004
4. Intersection types and lambda models;Alessi;Theor. Comput. Sci.,2006
5. Recursive Domain Equations of Filter Models;Alessi,2008