Lambda Definability with Sums via Grothendieck Logical Relations
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Monotone Inductive and Coinductive Constructors of Rank 2
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Nordic Journal of Computing
Strong normalisation in the π-calculus
Information and Computation
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
A Characterisation of Lambda Definability with Sums Via T T-Closure Operators
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Hoare type theory, polymorphism and separation1
Journal of Functional Programming
Journal of Functional Programming
Extensional rewriting with sums
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Logic and computation in a lambda calculus with intersection and union types
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Hi-index | 0.00 |