𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


The autonomous student
✍ Joseph Agassi 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 722 KB
cover
✍ Newitz, Annalee;Páez, Alexander 📂 Fiction 📅 2019 🏛 Minotauro 🌐 es-ES ⚖ 243 KB 👁 1 views

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

cover
✍ Annalee Newitz 📂 Fiction 📅 2017 🏛 ePubLibre 🌐 Spanish ⚖ 219 KB 👁 2 views

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

Internal Languages for Autonomous and ∗-
✍ Thong-Wei Koh; C-H.Luke Ong 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 32 KB

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