https://gitlab.inria.fr/mbaillon/gardening-with-the-pythia
Raw File
Tip revision: 1c783fb2a09f78c7d1bd2f27008221724fe204d0 authored by Martin Baillon on 08 July 2021, 22:02:58 UTC
comments
Tip revision: 1c783fb
README.md
# Gardening with the pythia
This is the repository linked to the paper "gardening with the pythia".
In this repository we provide the formalization of the axiom translation, the branching translation and the weaning translation that lead to the fundamental result : all Baclofen Type Theory (BTT) definable functionals are continuous. 
back to top