Cited By
View all- Farmer W(2018)Incorporating quotation and evaluation into Church's type theoryInformation and Computation10.1016/j.ic.2018.03.001260:C(9-50)Online publication date: 1-Jun-2018
- Altenkirch TKaposi A(2016)Type theory in type theory using quotient inductive typesACM SIGPLAN Notices10.1145/2914770.283763851:1(18-29)Online publication date: 11-Jan-2016
- Altenkirch TKaposi ABodik RMajumdar R(2016)Type theory in type theory using quotient inductive typesProceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2837614.2837638(18-29)Online publication date: 11-Jan-2016
- Show More Cited By