From operational semantics to abstract machines: preliminary results
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Encoding transition systems in sequent calculus
Theoretical Computer Science - Linear logic
Understanding Programming Languages
Minds and Machines
Hi-index | 0.00 |