Higher-order computational logic

DOI10.1007/3-540-45628-7_6MaRDI QIDQ4707736zbMATH OpenFDO

Authors John W. Lloyd

Publication date 11 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2407/24070105.htm

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Programming with higher-order logic.
• HiLog: A foundation for higher-order logic programming
• scientific article; zbMATH DE number 549957
• scientific article; zbMATH DE number 2185697
• HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic

Cited in

(18)

• Computational logic: Memories of the past and challenges for the future
• Relational Complexity and Higher Order Logics
• Comparing higher-order encodings in logical frameworks and tile logic
• Connecting logical representations and efficient computations
• Higher-order syntax and saturation algorithms for hybrid logic
• Light logics and higher-order processes
• scientific article; zbMATH DE number 2185697 (Why is no real title available?)
• One-and-a-halfth-order Logic
• scientific article; zbMATH DE number 4022668 (Why is no real title available?)
• HiLog: A foundation for higher-order logic programming
• scientific article; zbMATH DE number 1028827 (Why is no real title available?)
• scientific article; zbMATH DE number 3999279 (Why is no real title available?)
• HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic
• Higher-order logic as a lingua franca for logico-pluralist argumentation
• A compositional typed higher-order logic with definitions
• Computer Science Logic
• Reasoning with higher-order abstract syntax in a logical framework
• Abstract deduction and inferential models for type theory

This page was built for publication: Higher-order computational logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4707736)