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...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
Conway games, algebraically and coalgebraically
Logical methods in computer science, 2011-09, Vol.7, Issue 3
2011
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
RPO, Second-order Contexts, and Lambda-calculus
Logical methods in computer science, 2009-08, Vol.5, Issue 3
2009
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads
Logical methods in computer science, 2017-02
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads
Logical methods in computer science, 2017-07, Vol.13, Issue 3
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Logical methods in computer science, 2010-01, Vol.6, Issue 4
2010
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
Logical methods in computer science, 2011-01, Vol.7, Issue 2 (2)
2011
Link zum Volltext
Verfügbarkeit prüfen
1 – 6 von 6
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieLogical Methods In Computer Science
Suchergebnisse filtern
Filter anzeigen