Inf. Comput. Journal

publication venue for

• Incorporating quotation and evaluation into Church's type theory..  260:9-50. 2018
• Modelling concurrency with comtraces and generalized comtraces..  209:1355-1389. 2011