Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matteo Cimini
Towards Gradually Typed Capabilities in the Pi-Calculus
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
A Lightweight Formalization of the Metatheory of Bisimulation-Up-To
Related publications
Simply Typed Λ-Calculus
The Applied Pi Calculus
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
A Typed Lambda Calculus of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Complexity of Normalization in the Pure Typed Lambda – Calculus
Studies in Logic and the Foundations of Mathematics
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Just Fast Keying in the Pi Calculus
ACM Transactions on Information and System Security
Quality
Reliability
Safety
Computer Science
Risk
Proof Systems for Retracts in Simply Typed Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Pi+-Calculus: A Calculus for Concurrent Processes With Constraints
CLEI Electronic Journal
