Forskning ved Københavns Universitet - Københavns Universitet

Forside

The lambda Delta-calculus

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  • Jakob Rehof
  • Morten Heine Sørensen
Lambda calculus, control operators, Curry-Howard Isomorphism, classical proof theory
OriginalsprogEngelsk
BogserieTechnical Report
StatusUdgivet - 1993

ID: 273848