First-Order Formative Rules

Carsten Fuhs and Cynthia Kop
Proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014), Lecture Notes in Computer Science 8560, pp. 240 – 256, 2014.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-08918-8_17  
© Springer International Publishing Switzerland