Mathematical Knowledge Management
From MaRDI portal
Publication:5898523
DOI10.1007/11618027zbMath1151.68672MaRDI QIDQ5898523
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11618027
68T30: Knowledge representation
03F07: Structure of proofs
03B40: Combinatory logic and lambda calculus
Related Items
Continuation semantics for the Lambek-Grishin calculus, Declarative representation of proof terms, Procedural representation of CIC proof terms, A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$