Forfatter billede

Prakash Panangaden

Forfatter af Categorical Type Theory

1 Work 1 Member 1 Review

Værker af Prakash Panangaden

Satte nøgleord på

Almen Viden

There is no Common Knowledge data for this author yet. You can help.

Medlemmer

Anmeldelser

Indeholder "Abstract", "Introduction", "Overview of Type Theory", "Type Categories", "Proof Theory", "A Hierarchy of Universes", "Dependent Types", "Extended Proof Theory", "Rules for Dependent Types", "Subtype Construction", "Derivation of Syntax", "Rules with Syntax Annotation", "Conclusions", "Acknowledgements", "References".

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)
 
Markeret
bnielsen | Nov 26, 2016 |

Måske også interessante?

Associated Authors

Statistikker

Værk
1
Medlem
1
Popularitet
#2,962,640
Vurdering
4.0
Anmeldelser
1