a new paper

3 views

Skip to first unread message

unread,

Dec 16, 2016, 8:30:27 AM12/16/16

to homotopytypetheory, Prof. Vladimir Voevodsky

Hello,

I have published a new paper

the first half of which contains many basic results about C-systems with detailed proofs.

Vladimir.

Reply all

Reply to author

Forward

0 new messages