The autonomous field
✍ Scribed by Gustaf Strömberg
- Publisher
- Elsevier Science
- Year
- 1945
- Tongue
- English
- Weight
- 1005 KB
- Volume
- 239
- Category
- Article
- ISSN
- 0016-0032
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
La Tierra, 2144. Jack es una científica antipatentes que se ha convertido en una pirata de drogas; viaja por el mundo en un submarino como si fuera una Robin Hood farmacéutica, fabrica recetas baratas para gente pobre que de otro modo no podría permitírselas. Pero el último fármaco que ha pirateado
La Tierra, 2144. Jack es una científica antipatentes que se ha convertido en una pirata de drogas; viaja por el mundo en un submarino como si fuera una Robin Hood farmacéutica, fabrica recetas baratas para gente pobre que de otro modo no podría permitírselas. Pero el último fármaco que ha pirateado
We introduce a family of type theories as internal languages for autonomous (or symmetric monoidal closed) and \* -autonomous categories, in the same sense that the simply-typed lambdacalculus with surjective pairing is the internal language for cartesian closed categories. The rules for the typing