Prakash Panangaden
Forfatter af Categorical Type Theory
Værker af Prakash Panangaden
Categorical Type Theory 1 eksemplar
Satte nøgleord på
Almen Viden
There is no Common Knowledge data for this author yet. You can help.
Medlemmer
Anmeldelser
Måske også interessante?
Associated Authors
Statistikker
- Værk
- 1
- Medlem
- 1
- Popularitet
- #2,962,640
- Vurdering
- 4.0
- Anmeldelser
- 1
En Technical Report, som Michael lavede, mens han var i Ithaca. Den er ikke helt nem at finde referencer på, for der er stavefejl i dem. Det er "On Church's Formal Theory of Functions and Functionals" af Giuseppe Longo
som refererer til den som P. Panangaden and M.I. Schwartzbach, [1985], Cagegorical type theory, Comp. Sci. Dept. Technical Report, TR 85-716. Cornell University, Ithaca, NY, 1985.
Cagegorical ?
Og "Partial Objects in Constructive Type Theory" af Robert L. Constable, Scott Fraser Smith, som referer til den som P. Panangaden and M.I. Schwartzbach: Categorical Type Thoery.
Thoery ?… (mere)