Mathematical Knowledge Management

DOI10.1007/11618027zbMath1151.68672OpenAlexW2480281325MaRDI QIDQ5898523

Claudio Sacerdoti Coen

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Structure of proofs (03F07) Combinatory logic and lambda calculus (03B40)

Related Items

Declarative representation of proof terms, Procedural representation of CIC proof terms, Continuation semantics for the Lambek-Grishin calculus, A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$