Proof-term synthesis on dependent-type systems via explicit substitutions
Theoretical Computer Science
A Calculus of Lambda Calculus Contexts
Journal of Automated Reasoning
Pure type systems with explicit substitution
Mathematical Structures in Computer Science
Perpetuality in a named lambda calculus with explicit substitutions
Mathematical Structures in Computer Science
Hi-index | 0.00 |