Skip to content

Initial Algebra Semantics for Lambda Calculi.

John W. Gray

VenueBMFPS
Year1989
ProceedingsMathematical Foundations of Programming Semantics

Browse the full MFPS paper archive.