Semantics of type theory : correctness, completeness and independence results
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783764335946
3764335947
9780817635947
0817635947
- Maße
-
24 cm
- Umfang
-
XII, 298 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 292 - 295
- Erschienen in
-
Progress in theoretical computer science ; 5
- Schlagwort
-
Funktionale Programmiersprache
Typentheorie
Semantik
Konstruktive Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
Boston, Basel, Berlin
- (wer)
-
Birkhäuser
- (wann)
-
1991
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:48 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Streicher, Thomas
- Birkhäuser
Entstanden
- 1991
Ähnliche Objekte (12)
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Completeness for counter-doxa conditionals : using ranking semantics
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Completeness for counter-doxa conditionals : using ranking semantics
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars: Long Version
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Completeness for counter-doxa conditionals : using ranking semantics
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)