[Agda] Transcendental Syntax

[phiroc at free.fr]

Hello,

someone on the List suggested that I resend the hyperlinks to Girard's articles:

- Transcendental syntax I: deterministic case (https://girard.perso.math.cnrs.fr/trsy1.pdf)

- Transcendental syntax II: non-deterministic case (https://girard.perso.math.cnrs.fr/trsy2.pdf)

- Transcendental syntax III: equality (https://girard.perso.math.cnrs.fr/trsy3.pdf)

- Transcendental syntax IV: logic without system (https://girard.perso.math.cnrs.fr/trsy4.pdf)

- The Mustard Watch Lampoon (https://girard.perso.math.cnrs.fr/mustard/article.html)



Here are books and articles, which might also be of interest:

- The Blind Spot (https://books.google.fr/books?id=eVZZ0wtazo8C&printsec=frontcover&dq=the+blind+spot+girard&hl=fr&sa=X&ved=0ahUKEwjpl_uiqYDpAhUFJBoKHQ43CIsQ6AEIKjAA#v=onepage&q=the%20blind%20spot%20girard&f=false)

- The Blind Spot: https://blog.plover.com/math/logic/cut-rule.html

- https://en.wikipedia.org/wiki/Linear_logic

- http://www-philo.univ-paris1.fr/Joinet/NEW/PDF/PublicationsVersionOK/5-ok-aNewDeconstrLogic.pdf