The following pages link to Michel Parigot (Q1083859):
Displaying 26 items.
- A logical approach of Petri net languages (Q1083861) (← links)
- Recursive programming with proofs (Q1190480) (← links)
- Spinal atomic \(\lambda\)-calculus (Q2200851) (← links)
- (Q2753693) (← links)
- A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus (Q2870139) (← links)
- A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae (Q3066096) (← links)
- LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES (Q3325703) (← links)
- (Q3477935) (← links)
- Théories d'arbres (Q3674629) (← links)
- (Q3698785) (← links)
- (Q3708788) (← links)
- (Q3767334) (← links)
- (Q3787993) (← links)
- (Q3976042) (← links)
- (Q4255509) (← links)
- (Q4260369) (← links)
- (Q4264064) (← links)
- (Q4268477) (← links)
- (Q4282613) (← links)
- Proofs of strong normalisation for second order classical natural deduction (Q4382485) (← links)
- (Q4472466) (← links)
- (Q4720790) (← links)
- Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing (Q5271068) (← links)
- A Proof Calculus Which Reduces Syntactic Bureaucracy (Q5389140) (← links)
- Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae (Q5739889) (← links)
- Types for Proofs and Programs (Q5897612) (← links)
