( en | de | ru )

 

Disambiguierung von "Scott, Dana S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Domains for Denotational Semantics.

. ICALP, Volume 140 von Lecture Notes in Computer Science, Seite 577-613. Springer, (1982)

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.

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Felix Markus Hubertus Scotti

James Wesley Scott

 

Weitere Publikationen von Autoren mit dem selben Namen

Computer-supported Exploration of a Categorical Axiomatization of Modeloids., , , und . CoRR, (2019)Generalization of a Lemma of G. F. Rose., , und . J. Symb. Log., 23 (2): 137-138 (1958)Lambda Calculus Then and Now.. ACM-TURING, Seite 9:1. ACM, (2012)Boolean-Valued Semantics for the Stochastic λ-Calculus., , , , , und . LICS, Seite 669-678. ACM, (2018)A Calculus of Regions Respecting Both Measure and Topology., und . J. Philosophical Logic, 48 (5): 825-850 (2019)Equilogical spaces., , und . Theor. Comput. Sci., 315 (1): 35-59 (2004)Some Definitional Suggestions for Automata Theory.. J. Comput. Syst. Sci., 1 (2): 187-212 (1967)Stochastic λ-calculi: An extended abstract.. J. Appl. Log., 12 (3): 369-376 (2014)Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation., , , und . CICM, Volume 14101 von Lecture Notes in Computer Science, Seite 69-83. Springer, (2023)Mathematical concepts in programming language semantics.. AFIPS Spring Joint Computing Conference, Volume 40 von AFIPS Conference Proceedings, Seite 225-234. AFIPS, (1972)