Tactics and Parameters

DOI10.1016/S1571-0661(04)80757-6zbMath1264.03042OpenAlexW1998846220MaRDI QIDQ4924546

Gueorgui I. Jojgov

Publication date: 6 June 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80757-6

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Uses Software

• Automath
• ALF
• PAL+

Cites Work

• Unification under a mixed prefix
• (In)consistency of Extensions of Higher Order Logic and Type Theory
• PAL⁺: a lambda-free logical framework
• Parallel reductions in \(\lambda\)-calculus
• A calculus of lambda calculus contexts
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tactics and Parameters