Can LCF be topped? Flat lattice models of typed λ-calculus (1990)

by B Bloom
Venue:Information and Computation
Add To MetaCart
Results 1 - 1 of 1

Relational Reasoning about Functions and Nondeterminism

by Søren Bøgh Lassen, Søren Bøgh Lassen , 1998
"... Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Dissertation Series publications. Copies may be obtained by contacting: BRICS ..."
Abstract - Cited by 31 (4 self) - Add to MetaCart
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Dissertation Series publications. Copies may be obtained by contacting: BRICS