Cited By
View all- Emerich JVisser EMurphy-Hill ELopes C(2016)How are programs found? speculating about language ergonomics with Curry-HowardProceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/2986012.2986030(212-223)Online publication date: 20-Oct-2016
- Lange C(2013)Ontologies and languages for representing mathematical knowledge on the Semantic WebSemantic Web10.5555/2590215.25902174:2(119-158)Online publication date: 1-Apr-2013
- Asperti A(2013)A Formal Proof of Borodin-Trakhtenbrot’s Gap TheoremCertified Programs and Proofs10.1007/978-3-319-03545-1_11(163-177)Online publication date: 11-Dec-2013
- Show More Cited By