Titel

Merkliste
1 Ergebnisse

Pi-calculus, dialogue games and full abstraction PCF:

, In: Proceedings of the seventh international conference on Functional programming languages and computer architecture,

Hyland, J. M. E. ; Ong, C.-H. L. - p. 96-107 , 1995

Link: https://dl.acm.org/doi/10.1145/224164.224189

RT 
T1 <cTitle>Proceedings of the seventh international conference on Functional programming languages and computer architecture</cTitle>: T1 <Title>Pi-calculus, dialogue games and full abstraction PCF</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-224189&Exemplar=1&LAN=DE
				
A1 Hyland, J. M. E.
A1 Ong, C.-H. L.
PB ACM
YR 1995
K1 Computing methodologies
K1 Modeling and simulation
K1 Model development and analysis
K1 Simulation theory
K1 Theory of computation
K1 Models of computation
K1 Computability
K1 Semantics and reasoning
K1 Program semantics
K1 Operational semantics
K1 Formal languages and automata theory
K1 Logic
K1 Mathematics of computing
K1 Mathematical analysis
K1 Mathematical optimization
K1 Design and analysis of algorithms
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Operational analysis
SP 96
OP 107
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/224164.224189
DO https://dl.acm.org/doi/10.1145/224164.224189
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)