Tac

swMATH9455MaRDI QIDQ21438FDOQ21438

Author name not available (Why is that?)

Cited In (7)

• Least and Greatest Fixed Points in Linear Logic
• Focused Inductive Theorem Proving
• Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison
• A Proposal for Broad Spectrum Proof Certificates
• Realizing the dependently typed \(\lambda\)-calculus
• Cut elimination for a logic with induction and co-induction
• On the expressivity of minimal generic quantification

This page was built for software: Tac