There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...