Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi (Q4882489)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi |
scientific article; zbMATH DE number 890011
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7580186128616333
0 references
0.7367377281188965
0 references
