Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi (Q4882489)
From MaRDI portal
scientific article; zbMATH DE number 890011
Language | Label | Description | Also known as |
---|---|---|---|
English | Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi |
scientific article; zbMATH DE number 890011 |
Statements
Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi (English)
0 references
27 August 1996
0 references
polymorphic lambda calculus
0 references
contextual completeness
0 references
categories with indeterminates
0 references
fibred categories
0 references
2-categories of fibrations
0 references
Kleisli objects
0 references
functional completeness
0 references