Towards Gradually Typed Capabilities in the Pi-Calculus

Electronic Proceedings in Theoretical Computer Science, EPTCS - United States
doi 10.4204/eptcs.304.5
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Open Publishing Association

Related search

Simply Typed Λ-Calculus

1993English

The Applied Pi Calculus

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2018English

A Typed Lambda Calculus of Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Complexity of Normalization in the Pure Typed Lambda – Calculus

Studies in Logic and the Foundations of Mathematics
1982English

Hazelnut: A Bidirectionally Typed Structure Editor Calculus

2017English

Just Fast Keying in the Pi Calculus

ACM Transactions on Information and System Security
QualityReliabilitySafetyComputer ScienceRisk
2007English

Proof Systems for Retracts in Simply Typed Lambda Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2015English

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

CLEI Electronic Journal
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy