UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 117

Sortiert nach

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

1, 2001

Link zum Volltext

Verfügbarkeit prüfen

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : Proceedings

2001

Link zum Volltext

Verfügbarkeit prüfen

Foundations of software science and computation structures: 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

2014

Link zum Volltext

Verfügbarkeit prüfen

Implementing Cantor’s Paradise

Programming Languages and Systems, p.229-250

Link zum Volltext

Verfügbarkeit prüfen

Lambda Calculus with Types

1, 2013

Link zum Volltext

Verfügbarkeit prüfen

Types for proofs and programs: international conference, TYPES 2007, Cividale del Friuli Italy, May 2-5, 2007

2008

Link zum Volltext

Verfügbarkeit prüfen

Categories of Coalgebraic Games

Mathematical Foundations of Computer Science 2012, p.503-515

Link zum Volltext

Verfügbarkeit prüfen

Conway Games, Coalgebraically

Algebra and Coalgebra in Computer Science, p.300-316

Link zum Volltext

Verfügbarkeit prüfen

Unfixing the Fixpoint: The Theories of the λY-Calculus

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, p.150-165

Link zum Volltext

Verfügbarkeit prüfen

An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS

Automata, Languages and Programming, 2001, p.963-978

2001

Link zum Volltext

Verfügbarkeit prüfen

Mobility Types in Coq

Lecture notes in computer science, 2004, p.324-337

2004

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models

Lecture notes in computer science, 2004, p.242-258

2004

Link zum Volltext

Verfügbarkeit prüfen

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi

Recent Trends in Algebraic Development Techniques, p.119-134

Link zum Volltext

Verfügbarkeit prüfen

A Conditional Logical Framework

Logic for Programming, Artificial Intelligence, and Reasoning, p.143-157

Link zum Volltext

Verfügbarkeit prüfen

Final semantics for untyped λ-calculus

Typed Lambda Calculi and Applications, 2005, p.249-265

2005

Link zum Volltext

Verfügbarkeit prüfen

Some results on the full abstraction problem for restricted lambda calculi

Mathematical Foundations of Computer Science 1993, 2005, p.84-104

2005

Link zum Volltext

Verfügbarkeit prüfen

Pre-logical relations

Lecture notes in computer science, 1999, p.546-561

1999

Link zum Volltext

Verfügbarkeit prüfen

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

1, 2008

Link zum Volltext

Verfügbarkeit prüfen

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

Link zum Volltext

Verfügbarkeit prüfen

Foundations of Software Science and Computation Structures

Theoretical computer science, 2003, Vol.298 (3)

2003

Link zum Volltext

Verfügbarkeit prüfen

Strict Geometry of Interaction Graph Models

Lecture notes in computer science, 2003, p.407-421

2003

Link zum Volltext

Verfügbarkeit prüfen

An abstract notion of application

Typed Lambda Calculi and Applications, 2005, p.124-138

2005

Link zum Volltext

Verfügbarkeit prüfen

RPO, Second-Order Contexts, and λ-Calculus

Foundations of Software Science and Computational Structures, p.334-349

Link zum Volltext

Verfügbarkeit prüfen

FOSSACS 2001 : foundations of software science and computation structures (Genova, 2-6 April 2001)

Lecture notes in computer science, 2001

2001

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 117

Suche als RSS-Feed

Aktive Filter

PublikationsformArtikel

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(33)
Mit Volltextzugriff
(116)

Publikationsform

Sprache

Englisch
(117)

Erscheinungsjahr

n.n

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : Proceedings

Foundations of software science and computation structures: 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Implementing Cantor’s Paradise

Lambda Calculus with Types

Types for proofs and programs: international conference, TYPES 2007, Cividale del Friuli Italy, May 2-5, 2007

Categories of Coalgebraic Games

Conway Games, Coalgebraically

Unfixing the Fixpoint: The Theories of the λY-Calculus

An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS

Mobility Types in Coq

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

“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi

A Conditional Logical Framework

Final semantics for untyped λ-calculus

Some results on the full abstraction problem for restricted lambda calculi

Pre-logical relations

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Towards a Logical Framework with Intersection and Union Types

Foundations of Software Science and Computation Structures

Strict Geometry of Interaction Graph Models

An abstract notion of application

RPO, Second-Order Contexts, and λ-Calculus

FOSSACS 2001 : foundations of software science and computation structures (Genova, 2-6 April 2001)

Aktive Filter

Suchergebnisse filtern