Skip to content

A Calculus for Predicative Programming.

Emil Sekerinski

VenueBMPC
Year1992
ProceedingsMPC

Browse the full MPC paper archive.