Towards a Logic for Union Types (English)
In:
Fundamenta Informaticae
;
121
, 1-4
;
275-302
;
2012
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Towards a Logic for Union Types
-
Published in:Fundamenta Informaticae ; 121, 1-4 ; 275-302
-
Publisher:
- New search for: IOS Press
-
Place of publication:Amsterdam, The Netherlands
-
Publication date:2012-01-01
-
Size:28 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 121, Issue 1-4
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Completeness and Soundness Results for with Intersection and Union Types| 2012
- 43
-
The Algebra of Expansion| 2012
- 83
-
Characterising Strongly Normalising Intuitionistic Terms| 2012
- 121
-
Reducibility Proofs in the λ-Calculus| 2012
- 153
-
On Realisability Semantics for Intersection Types with Expansion Variables| 2012
- 185
-
Intersection Types and Termination Properties| 2012
- 203
-
Intersection Types with Subtyping by Means of Cut Elimination| 2012
- 227
-
Strong Normalization in the π-calculus with Intersection and Union Types| 2012
- 253
-
Intersection Types from a Proof-theoretic Perspective| 2012
- 275
-
Towards a Logic for Union Types| 2012
- v
-
Preface| 2012