Cited By
View all- CAVE APIENTKA B(2018)Mechanizing proofs with logical relations – Kripke-styleMathematical Structures in Computer Science10.1017/S096012951800015428:09(1606-1638)Online publication date: 2-Aug-2018
- Rabe F(2015)Lax Theory MorphismsACM Transactions on Computational Logic10.1145/281864417:1(1-36)Online publication date: 28-Oct-2015
- Rabe F(2014)How to identify, translate and combine logics?Journal of Logic and Computation10.1093/logcom/exu07927:6(1753-1798)Online publication date: 14-Dec-2014
- Show More Cited By