Types for the Ambient Calculus

Information and Computation- United States

doi 10.1006/inco.2001.3121

Full Text

Abstract

Available in

Date

Authors

Publisher

Elsevier BV

Related search

Strict Intersection Types for the Lambda Calculus

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2011English

A Classical Sequent Calculus With Dependent Types

ACM Transactions on Programming Languages and Systems
Software
2019English

A Calculus With Polymorphic and Polyvariant Flow Types

Journal of Functional Programming
Software
2002English

On Lists and Other Abstract Data Types in the Calculus of Constructions

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2000English

Effect of Distinct Ambient Noise Types on Mobile Interaction

Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies
2018English

Dag-Calculus: A Calculus for Parallel Computation

2016Romanian

Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types

Studies in Logic and the Foundations of Mathematics
1994English

Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
1998English

Generalized Functions for the Fractional Calculus

Critical Reviews in Biomedical Engineering
Biomedical Engineering
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy