Back to Results
First PageMeta Content
Abstract algebra / Homotopy / Path / Quasigroup / Covering space / Intuitionistic type theory / Fundamental group / CW complex / Function / Topology / Mathematics / Homotopy theory


Homotopical Patch Theory (Expanded Version) Carlo Angiuli ∗ Edward Morehouse ∗
Add to Reading List

Document Date: 2014-07-29 20:48:31

Open Document

File Size: 380,58 KB

Share Result on Facebook

City

Gothenburg / /

Country

United States / Sweden / /

Currency

USD / /

/

IndustryTerm

computational applications / distributed version control systems / mathematical applications / software correctness proof / homotopy-theoretic tools / preliminary applications / Version control systems / /

Organization

National Science Foundation / U.S. government / Carnegie Mellon University / Wesleyan University / /

Person

R EMARK / Nat / Martin-Löf / Robert Harper / Patch Theory / Edward Morehouse / Carlo Angiuli / Patch Theory Patch / Daniel R. Licata Carnegie / /

Position

author / canonical representative for each class / canonical representative / proof assistant / General / model for it / interpreter / /

Technology

functional programming / /

URL

http /

SocialTag