Frank A. Bäuerle (baeuerle-fa)

Contributions to 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.