Forskning ved Københavns Universitet - Københavns Universitet

Forside

Domain-free Pure Type Systems

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

  • Gilles Barthe
  • Morten Heine Sørensen
OriginalsprogEngelsk
TitelLogical Foundations of Computer Science
ForlagSpringer
Publikationsdato1997
Sider9-20
StatusUdgivet - 1997

Bibliografisk note

Lecture Notes in Computer Science, Vol. 1234

ID: 229043