Paper Info
Title
Towards a Cubical Type Theory without an Interval.
Year
DOI
Venue
2015
10.4230/LIPIcs.TYPES.2015.3
types for proofs and programs
Field
DocType
Citations 
Discrete mathematics,Operational semantics,Algebra,Computer science,Axiom,Type theory,Parametric statistics,Parametricity,Syntax,Recursion,Cube
Conference
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Thorsten Altenkirch166856.85
Ambrus Kaposi2164.29