TU Darmstadt / ULB / TUbiblio

Sound and complete axiomatisations of call-by-value control operators

Hofmann, Martin (1995):
Sound and complete axiomatisations of call-by-value control operators.
In: Mathematical structures in computer science. 5 (1995), S. 461-482, [Article]

Item Type: Article
Erschienen: 1995
Creators: Hofmann, Martin
Title: Sound and complete axiomatisations of call-by-value control operators
Language: English
Journal or Publication Title: Mathematical structures in computer science. 5 (1995), S. 461-482
Divisions: 04 Department of Mathematics
Date Deposited: 19 Nov 2008 15:57
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details