Autor der Publikation

Continuation Semantics in Typed Lambda-Calculi (Summary).

, und . Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 219-224. Springer, (1985)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Conservativity of Equational Theories in Typed Lambda Calculi., und . Fundam. Informaticae, 19 (1/2): 1-49 (1993)A note on disjunctive form tautologies., , , , und . SIGACT News, 5 (2): 17-20 (1973)Concurrent Process Equivalences: Some Decision Problems (Abstract).. STACS, Volume 900 von Lecture Notes in Computer Science, Seite 349. Springer, (1995)Observing Truly Concurrent Processes.. TACS, Volume 789 von Lecture Notes in Computer Science, Seite 886. Springer, (1994)From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview., , und . Logic of Programs, Volume 164 von Lecture Notes in Computer Science, Seite 474-500. Springer, (1983)Second-Order Logical Relations (Extended Abstract)., und . Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 225-236. Springer, (1985)Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report., und . CONCUR, Volume 630 von Lecture Notes in Computer Science, Seite 17-31. Springer, (1992)Sets that Don't Help, , und . STOC, Seite 130-134. ACM, (1973)Computational Speed-Up by Effective Operators., und . J. Symb. Log., 37 (1): 55-68 (1972)On Time-Space Classes and their Relation to the Theory of Real Addition., und . Theor. Comput. Sci., (1980)