Skip to main content

Browse the archive

Revision 1c783fb2a09f78c7d1bd2f27008221724fe204d0 authored by Martin Baillon on 08 July 2021, 22:02:58 UTC, committed by Martin Baillon on 08 July 2021, 22:02:58 UTC 
comments
1 parent 2a2e136
Raw File
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