Forskning ved Københavns Universitet - Københavns Universitet

Forside

A Notion of Classical Pure Type Systems

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  • Gilles Barthe
  • John Hatcliff
  • Morten Heine Sørensen
OriginalsprogEngelsk
TitelMathematical foundations of programming semantics
ForlagElsevier
Publikationsdato1997
StatusUdgivet - 1997

Bibliografisk note

Electronic Notes in Computer Science, vol.6

ID: 229180