Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by SYLVAIN SALVATI
Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
Collapsible Pushdown Automata and Recursion Schemes
Proceedings - Symposium on Logic in Computer Science
Mathematics
Software
Simply Typed Λ-Calculus
Proof Systems for Retracts in Simply Typed Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed Λ-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From Security Protocols to Pushdown Automata
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
A Typed Lambda Calculus of Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Quotient Operation on Input-Driven Pushdown Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
