A While-rule in Martin-Löf's Theory of Types
Gespeichert in:
Verfasser / Beitragende:
[R. Backhouse, A. Khamiss]
Ort, Verlag, Jahr:
1987
Enthalten in:
The Computer Journal, 30/1(1987), 27-36
Format:
Artikel (online)
Online Zugang: