- Fully abstract models of the lazy lambda calculus C.-H. L. Ong Sat 18 May 2013
- Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes F.William Lawvere Sat 18 May 2013
- Functions as processes Robin Milner Sat 18 May 2013
- A logic for parametric polymorphism with effects Rasmus Ejlers Møgelberg Alex Simpson Sat 18 May 2013
- Constructive Data Refinement in Typed Lambda Calculus Furio Honsell John Longley Donald Sannella Andrzej Tarlecki Sat 18 May 2013
- Second-order pre-logical relations and representation independence Hans Leib Sat 18 May 2013
- Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras Andreas Doering Sat 18 May 2013
- Bi-Heyting algebras, toposes and modalities Gonzalo E. Reyes Houman Zolfaghari Sat 18 May 2013
- A Syntactic Approach to Type Soundness A.K. Wright M. Felleisen Fri 17 May 2013
- Abstract refinement types Niki Vazou Patrick M. Rondon Ranjit Jhala Wed 15 May 2013
- Liquid types Patrick M. Rondon Ming Kawaguci Ranjit Jhala Wed 15 May 2013
- Bistable Biorders: A Sequential Domain Theory James Laird Wed 15 May 2013
- On monotonous mappings of complete lattices V. Devidé Mon 13 May 2013
- Efficient fixpoint computation B. Vergauwen J. Wauman J. Lewi Mon 13 May 2013
- On the sequential nature of unification Cynthia Dwork Paris C. Kanellakis John C. Mitchell Mon 13 May 2013
- Polymorphic unification and ML typing P. C. Kanellakis J. C. Mitchell Mon 13 May 2013
- The complexity of Tarski's fixed point theorem Ching-Lueh Chang Yuh-Dauh Lyuu Yen-Wu Ti Mon 13 May 2013
- A Characterization of Complete Lattices Anne C. Davis Fri 10 May 2013
- A Note on Complete Lattices and Tarski's Fixed Point Theorem Anna Ingolfsdottir Luca Aceto Kim G. Larsen Fri 10 May 2013
- A Lattice-Theoretical Fixpoint Theorem and Its Applications Alfred Tarski Thu 09 May 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
