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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...





Open Access
Towards a theory of type structure
Programming Symposium, 2005, p.408-425
2005
Volltextzugriff (PDF)



Programming Symposium, 2005, p.170-180
2005
Volltextzugriff (PDF)

Permutations et logique combinatoire
Permutations, 2020, Vol.20, p.257-268
Originally published 1974, 2020
Volltextzugriff (PDF)

Programming Symposium, 2005, p.181-203
2005
Volltextzugriff (PDF)

On a measure of program structure
Programming Symposium, 2005, p.9-16
2005
Volltextzugriff (PDF)


Towards more flexible type systems
Programming Symposium, 2005, p.377-384
2005
Volltextzugriff (PDF)

Programming Symposium, 2005, p.72-80
2005
Volltextzugriff (PDF)

Programming Symposium, 2005, p.88-108
2005
Volltextzugriff (PDF)

Programming Symposium, 2005, p.221-233
2005
Volltextzugriff (PDF)

Programming Symposium, 2005, p.266-279
2005
Volltextzugriff (PDF)

Proving program correctness in LCF
Programming Symposium, 2005, p.59-71
2005
Volltextzugriff (PDF)

Programming Symposium, 2005, p.17-32
2005
Volltextzugriff (PDF)

Programming Symposium, 2005, p.33-40
2005
Volltextzugriff (PDF)


Programming Symposium, 2005, p.327-349
2005
Volltextzugriff (PDF)

Programming Symposium, 2005, p.253-265
2005
Volltextzugriff (PDF)

Programming Symposium, 2005, p.156-169
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n