Logical relations, data abstraction, and structured fibrations
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Semantic analysis of normalisation by evaluation for typed lambda calculus
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Information and Computation
Lambda Definability with Sums via Grothendieck Logical Relations
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Higher-Order Simulation Relation for System F
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Logical Relations and Data Abstraction
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Finite Models and Full Completeness
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Logical Relations for Monadic Types
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
A relational account of call-by-value sequentiality
Information and Computation - Special issue: LICS'97
Girard translation and logical predicates
Journal of Functional Programming
On λ-Definability I: the Fixed Model Problem and Generalizations of the Matching Problem
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2003, Selected Papers
Cryptographic logical relations
Theoretical Computer Science
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
A Characterisation of Lambda Definability with Sums Via T T-Closure Operators
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Logical relations for monadic types†
Mathematical Structures in Computer Science
On a semantic definition of data independence
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
A semantic formulation of ⊤⊤-lifting and logical predicates for computational metalanguage
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Discrete generalised polynomial functors
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
On λ-Definability I: the Fixed Model Problem and Generalizations of the Matching Problem
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2003, Selected Papers
Relating computational effects by ττ-lifting
Information and Computation
On monadic parametricity of second-order functionals
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |