Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Mobility Types in Coq
Lecture notes in computer science, 2004, p.324-337
2004
Link zum Volltext

Lecture notes in computer science, 2004, p.242-258
2004
Link zum Volltext

Annals of the New York Academy of Sciences, 1996-12, Vol.806 (1), p.140-163
1996
Link zum Volltext

Annals of the New York Academy of Sciences, 1996-12, Vol.806 (1), p.140-163
1996
Link zum Volltext

Mathematical logic quarterly, 1985, Vol.31 (31-34), p.533-536
1985
Link zum Volltext

Mathematical logic quarterly, 1984, Vol.30 (13-16), p.193-196
1984
Link zum Volltext