Constructive Data Refinement in Typed Lambda Calculus (2000)

by Furio Honsell , John Longley , Donald Sannella , Andrzej Tarlecki
Citations:12 - 7 self

Document Versions

Constructive Data Refinement in Typed Lambda Calculus –Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki — 2000
Constructive Data Refinement in Typed Lambda Calculus –Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki — 2000
Constructive data refinement in typed lambda calculus –Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki — 2000 — Proc. 3rd Intl. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2000), European Joint Conferences on Theory and Practice of Software