Searching for authors named Thierry Boy de la Tour – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Building Proofs by Analogy via the Curry-Howard Isomorphism
- … ? Thierry Boy de la Tour 1 and Christoph Kreitz 2 1 Laboratoire d'Informatique Fondamentale et d…
- Add To MetaCart
-
How Complex is a Finite First-Order Sorted Interpretation?
- …How Complex is a Finite First-Order Sorted Interpretation? Thierry Boy de la Tour LEIBNIZ…
- Add To MetaCart
-
Up-to-Isomorphism Enumeration of Finite Models - The Monadic Case
- …Up-to-Isomorphism Enumeration of Finite Models - The Monadic Case Thierry Boy de la Tour…
- Add To MetaCart
-
Building Proofs by Analogy via the Curry-Howard Isomorphism ⋆
- …Building Proofs by Analogy via the Curry-Howard Isomorphism ⋆ Thierry Boy de la Tour 1…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 4.
