Synthesis of Programs in Abstract Data Types
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Sequent combinators: a Hilbert system for the lambda calculus
Mathematical Structures in Computer Science
Strong normalization of the dual classical sequent calculus
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Hi-index | 0.00 |