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
Sobriety for equilogical spaces
Theoretical computer science, 2014-08, Vol.546, p.93-98
2014
Volltextzugriff (PDF)

Open Access
Topologies and free constructions
Logic and logical philosophy, 2013-09, Vol.22 (3)
2013
Volltextzugriff (PDF)

Open Access
Topologies and Free Constructions
Logic and logical philosophy, 2013-09, Vol.22 (3), p.327-346
2013
Volltextzugriff (PDF)

Open Access
Consistency of the theory of contexts
Journal of functional programming, 2006-05, Vol.16 (3), p.327-372
2006
Volltextzugriff (PDF)

Open Access
An equational notion of lifting monad
Theoretical computer science, 2003-02, Vol.294 (1), p.31-60
2003
Volltextzugriff (PDF)

Theoretical computer science, 2003, Vol.294 (1-2), p.31-60
2003
Volltextzugriff (PDF)

Lifting
Category Theory and Computer Science, 2005, p.281-292
2005
Volltextzugriff (PDF)

Journal of logic, language, and information, 1994-07, Vol.3 (3), p.211-232
1994
Volltextzugriff (PDF)

Open Access
Repleteness and the associated sheaf
Journal of pure and applied algebra, 1998-05, Vol.127 (2), p.147-151
1998
Volltextzugriff (PDF)

Notre Dame journal of formal logic, 1995, Vol.36 (4), p.585-594
1995
Volltextzugriff (PDF)

Open Access
Equational Lifting Monads
Electronic notes in theoretical computer science, 1999, Vol.29, p.22-22
1999
Volltextzugriff (PDF)












2020 IEEE 20th Mediterranean Electrotechnical Conference ( MELECON), 2020, p.264-268
2020
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n