Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/baeuerle-fa

Frank A. Bäuerle (baeuerle-fa)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Albrecht, David, Bäuerle, Frank A. and Crossley, John Newsome. 1998. “Curry-Howard terms for Linear Logic.” Studia Logica: An International Journal for Symbolic Logic 61(2): 223–235.