A ρ-calculus of explicit constraint application

ISSN： 1388-3690

Source： LISP and Symbolic Computation, Vol.20, Iss.1-2, 2007-06, pp. : 37-72

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A -calculus with explicit substitutions

By Ferrari G.-L. Montanari U. Quaglia P.

Theoretical Computer Science, Vol. 168, Iss. 1, 1996-11 ,pp. : 53-103

Elsevier

Access to resources Recommend Favorite

A confluent calculus for concurrent constraint programming

By Marriott K. Odersky M.

Theoretical Computer Science, Vol. 173, Iss. 1, 1997-02 ,pp. : 209-233

Elsevier

Access to resources Recommend Favorite

A concurrent constraint and pi-calculus-based language for service contracting

By Chen Ruoyu Liao Lejian Fang Zhi

International Journal of Wireless and Mobile Computing, Vol. 6, Iss. 6, 2013-11 ,pp. : 564-572

Inderscience Publishers

Access to resources Recommend Favorite

A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions

By Coquand C.

LISP and Symbolic Computation, Vol. 15, Iss. 1, 2002-03 ,pp. : 57-90

Springer Publishing Company

Access to resources Recommend Favorite

Primal–Dual Constraint Aggregation with Application to Stochastic Programming

By Davidson M.

Annals of Operations Research, Vol. 99, Iss. 1-4, 2000-12 ,pp. : 41-58

Springer Publishing Company

Access to resources Recommend Favorite