Bard Bloom
- Bard Bloom. Can LCF be
topped? Flat lattice models of typed lambda-calculus.
Information and Computation, 87(1/2):263-300, July/August
1990.
References,
Citations,
etc.
- Luca Aceto, Bard Bloom, and Frits Vaandrager. Turning SOS rules into equations.
Information and Computation, 111(1):1-52, 15 May 1994.
Abstract,
References,
Citations,
etc.
Shortcuts: