UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

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...

A framework for defining logics

Journal of the ACM, 1993-01, Vol.40 (1), p.143-184

1993

Volltextzugriff (PDF)

25 years of formal proof cultures: some problems, some philosophy, bright future

Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice, 2013, p.37-42

Honsell, Furio

2013

Volltextzugriff (PDF)

Towards a Logical Framework with Intersection and Union Types

Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2017, p.1-9

2017

Volltextzugriff (PDF)

LFP: a logical framework with external predicates

Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice, 2012, p.13-22

2012

Volltextzugriff (PDF)

Translating specifications from nominal logic to CIC with the theory of contexts

International Conference on Functional Programming: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding; 30-30 Sept. 2005, 2005, p.41-49

2005

Volltextzugriff (PDF)

A lambda calculus of objects with self-inflicted extension

Conference on Object Oriented Programming Systems Languages and Applications: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications : Vancouver, British Columbia, Canada; 18-22 Oct. 1998, 1998, p.166-178

1998

Volltextzugriff (PDF)