Contact DMCA Privacy

Robuta

https://iris-project.org/aneris/
Aneris: Higher-Order Distributed Separation Logic
separation logicanerishigherorderdistributed
https://easychair.org/smart-slide/slide/5jzm
Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic
collapsesfixpointalternationhierarchieslow
https://www.cambridge.org/core/books/programming-with-higherorder-logic/90460BBDEF7ADE2B2B738DD05A39ECC5
Programming with Higher-Order Logic
Cambridge Core - Programming Languages and Applied Logic - Programming with Higher-Order Logic
higher order logicprogramming