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...
Proceedings of ACM on programming languages, 2019-08, Vol.3 (ICFP), p.1-29
2019
Volltextzugriff (PDF)

Journal of functional programming, 2021, Vol.31, Article e8
2021
Volltextzugriff (PDF)

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.807-819
2020
Volltextzugriff (PDF)

Physical review. B, 2022-06, Vol.105 (24), Article 245303
2022
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2023-02, Vol.131, p.100846, Article 100846
2023
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2017-09, Vol.1 (ICFP), p.1-29
2017
Volltextzugriff (PDF)

Open Access
Higher lenses
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2021, Vol.351, p.200-217
2021
Volltextzugriff (PDF)


Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Volltextzugriff (PDF)

Guarded Cubical Type Theory
Journal of automated reasoning, 2019-08, Vol.63 (2), p.211-253
2019
Volltextzugriff (PDF)

Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Volltextzugriff (PDF)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, Vol.8858, p.140-158
2014
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2017, Vol.1 (ICFP), p.1-30
2017
Volltextzugriff (PDF)



16th International Symposium on Trends in Functional Programming, TFP 2015, Sophia Antipolis, France, 2016, Vol.9547, p.1-21
2016
Volltextzugriff (PDF)

Functional and Logic Programming, 2016, Vol.9613, p.109-125
2016
Volltextzugriff (PDF)

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020, p.270-283
2020
Volltextzugriff (PDF)






Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt