Espere um momento... 2 0 20 0 false
 
Name
Schroeder-Heister, Peter
 
Espere um momento... 3 0 20 0 false

Publications
(Todas)



Resultados 1-1 de 1.

Data de publicaçãoTítuloAutor(es)TipoAcesso
12006Introduction: Proof-theoretic SemanticsKahle, Reinhard ; Schroeder-Heister, Peter articleopenAccess