Proof, Language, and Interaction
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By The MIT Press

9780262281676

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Discrete Time Process Algebra with Silent Step

Proof, Language, and Interaction ◽

10.7551/mitpress/5641.003.0026 ◽

2000 ◽

Keyword(s):

Discrete Time ◽

Process Algebra ◽

Time Process

Download Full-text

The Foundations of Esterel

Proof, Language, and Interaction ◽

10.7551/mitpress/5641.003.0021 ◽

2000 ◽

Download Full-text

From LCF to HOL

Proof, Language, and Interaction ◽

10.7551/mitpress/5641.003.0012 ◽

2000 ◽

Download Full-text

The Tile Model

Proof, Language, and Interaction ◽

10.7551/mitpress/5641.003.0010 ◽

2000 ◽

Keyword(s):

Tile Model

Download Full-text

Constructively Formalizing Automata Theory

Proof, Language, and Interaction ◽

10.7551/mitpress/5641.003.0014 ◽

2000 ◽

Keyword(s):

Automata Theory

Download Full-text

λ-Calculus, Multiplicities, and the π-Calculus

Proof, Language, and Interaction ◽

10.7551/mitpress/5641.003.0032 ◽

2000 ◽

Keyword(s):

Π Calculus

Download Full-text

Bistructures, Bidomains, and Linear Logic

Proof, Language, and Interaction ◽

10.7551/mitpress/5641.003.0006 ◽

2000 ◽

Keyword(s):

Linear Logic

Download Full-text

Axioms for Definability and Full Completeness

Proof, Language, and Interaction ◽

10.7551/mitpress/5641.003.0007 ◽

2000 ◽

Download Full-text

On the Star Height of Unary Regular Behaviours

Proof, Language, and Interaction ◽

10.7551/mitpress/5641.003.0024 ◽

2000 ◽

Download Full-text

Pict

Proof, Language, and Interaction ◽

10.7551/mitpress/5641.003.0022 ◽

2000 ◽

Download Full-text