A Domain-Theoretic Model for a Higher-Order Process Calculus

doi 10.1007/bfb0032031
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer-Verlag

Related search

Categorical Semantics for Higher Order Polymorphic Lambda Calculus

Journal of Symbolic Logic
PhilosophyLogic
1987English

A Resolution Calculus for First-Order Schemata

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

A Fully Abstract Denotational Model for Higher-Order Processes

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Image Watermarking in Higher-Order Gradient Domain

2012English

A Model-Theoretic Framework for Grammaticality Judgements

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

On Structural and Graph Theoretic Properties of Higher Order Delaunay Graphs

International Journal of Computational Geometry and Applications
GeometryApplied MathematicsComputational TheoryComputational MathematicsMathematicsTheoretical Computer ScienceTopology
2009English

What Is a Model for a Semantically Linear -Calculus?

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2012English

A Process Calculus Analysis of Compensations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy