No label defined (Q3138539)
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: scientific article; zbMATH DE number 431763
scientific article; zbMATH DE number 431763
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 431763 |
Statements
18 November 1993
0 references
polymorphism
0 references
second-order lambda calculus
0 references
dinatural transformations
0 references
partial equivalence relations
0 references
effective topos
0 references
uniform families of maps between realizable functors on PER's
0 references
0.6786416172981262
0 references
0.647869884967804
0 references
0.6466752290725708
0 references
