The following pages link to Georges Gonthier (Q1084851):
Displaying 26 items.
- Algebraic calculi of processes and net expressions (Q1084852) (← links)
- The Esterel synchronous programming language: Design, semantics, implementation (Q1196296) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Secure implementation of channel abstractions (Q1854520) (← links)
- A Language of Patterns for Subterm Selection (Q2914755) (← links)
- Engineering mathematics (Q2931776) (← links)
- (Q3075246) (← links)
- Advances in the Formalization of the Odd Order Theorem (Q3087991) (← links)
- Point-Free, Set-Free Concrete Linear Algebra (Q3088000) (← links)
- Packaging Mathematical Structures (Q3183538) (← links)
- A Modular Formalisation of Finite Group Theory (Q3523168) (← links)
- Canonical Big Operators (Q3543652) (← links)
- The Four Colour Theorem: Engineering of a Formal Proof (Q3598006) (← links)
- Software Engineering for Mathematics (Q3637262) (← links)
- (Q3813288) (← links)
- (Q4219054) (← links)
- (Q4222942) (← links)
- (Q4501667) (← links)
- (Q4813226) (← links)
- How to make ad hoc proof automation less ad hoc (Q5176973) (← links)
- Authentication primitives and their compilation (Q5178860) (← links)
- (Q5302559) (← links)
- Foundations of Software Science and Computation Structures (Q5308439) (← links)
- A Machine-Checked Proof of the Odd Order Theorem (Q5327343) (← links)
- How to make ad hoc proof automation less ad hoc (Q5398327) (← links)
- A calculus of mobile agents (Q6104384) (← links)