A programming logic for $F_\omega$

E. Poll

Onderzoeksoutput: Boek/rapport › Rapport › Academic

83 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's15
StatusGepubliceerd - 1992

Publicatie series

NaamComputing science notes
Volume9225

Toegang tot document

  • 9226724Definitieve gepubliceerde versie, 510 KB

    Citeer dit