Cited By
View all- Clouston R(2014)Nominal Lawvere Theories: A category theoretic account of equational theories with namesJournal of Computer and System Sciences10.1016/j.jcss.2014.04.00280:6(1067-1086)Online publication date: Sep-2014
- Ribeiro RFigueiredo LCamarão C(2013)Mechanized metatheory for a $$\lambda $$ λ -calculus with trust typesJournal of the Brazilian Computer Society10.1007/s13173-013-0119-519:4(433-443)Online publication date: 4-Aug-2013
- Cheney JNorrish MVestergaard R(2012)Formalizing AdequacyJournal of Automated Reasoning10.1007/s10817-011-9221-649:2(209-239)Online publication date: 1-Aug-2012
- Show More Cited By