Back to Results
First PageMeta Content
Philosophy of language / Philosophy of mind / Semantics / Linguistics / Science / Entailment / Logic / Interpretation / Model theory


Step-Indexed Normalization for a Language with General Recursion Chris Casinghino Vilhelm Sj¨oberg
Add to Reading List

Document Date: 2014-07-10 05:47:12

Open Document

File Size: 207,00 KB

Share Result on Facebook

Company

SU NROLL ASA / /

/

IndustryTerm

box infrastructure / /

Organization

School of Engineering / University of Pennsylvania / ETA / /

Person

Nat / C. Casinghino / V / ASE TU NROLL / A. C. Casinghino / V / Stephanie Weirich / Chris Casinghino / /

/

Position

first author / General / Coq proof assistant / programmer / /

ProgrammingLanguage

EC / /

RadioStation

TL AM / B TL AM / /

URL

http /

SocialTag