Results 251 to 260 of about 1,309,863 (280)
Some of the next articles are maybe not open access.
Higher-order abstract syntax in classical higher-order logic
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009Higher-Order Abstract Syntax, or HOAS, is a technique for using a higher-order logic as a metalanguage for an object language with binding operators. It avoids formalizing syntactic details related to variable binding. This paper gives an extension to classical higher-order logic that supports HOAS.
openaire +1 more source
Higher‐order Logic Reconsidered
2005Abstract This article discusses canonical (i.e., full, or standard) second-order consequence and argues against it being a case of logical consequence. The discussion is divided into three parts. The first part comprises the first three sections.
openaire +1 more source
Extending a brainiac prover to lambda-free higher-order logic
International Journal on Software Tools for Technology Transfer, 2021Petar Vukmirović +2 more
exaly
Mechanizing programming logics in higher order logic
1988Formal reasoning about computer programs can be based directly on the semantics of the programming language, or done in a special purpose logic like Hoare logic. The advantage of the first approach is that it guarantees that the formal reasoning applies to the language being used (it is well known, for example, that Hoare’s assignment axiom fails to ...
openaire +1 more source
Higher-Order Inter-chromosomal Hubs Shape 3D Genome Organization in the Nucleus
Cell, 2018Noah Ollikainen +2 more
exaly