Pi-calculus, dialogue games and full abstraction PCF
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Semantics: the description of computational structures
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A Curry-Howard foundation for functional computation with control
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Lazy computation with exact real numbers
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
When is a functional program not a functional program?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Relative definability of boolean functions via hypergraphs
Theoretical Computer Science
Induction Proofs with Partial Functions
Journal of Automated Reasoning
Some Reflections on Strachey and His Work
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Exact real number computations relative to hereditarily total functionals
Theoretical Computer Science
A foundation for embedded languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design and Correctness of Program Transformations Based on Control-Flow Analysis
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Efficient Analysis of Cyclic Definitions
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Reasoning about local variables with operationally-based logical relations
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Parametric polymorphism and operational equivalence
Mathematical Structures in Computer Science
General synthetic domain theory – a logical approach
Mathematical Structures in Computer Science
Full abstraction, totality and PCF
Mathematical Structures in Computer Science
Hierarchies of total functionals over the reals
Theoretical Computer Science - Logic, semantics and theory of programming
Slot games: a quantitative model of computation
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On sequential functionals of type 3
Mathematical Structures in Computer Science
Sequential algorithms and strongly stable functions
Theoretical Computer Science - Game theory meets theoretical computer science
Information and Computation
Two categories of effective continuous cpos
Theoretical Computer Science - Spatial representation: Discrete vs. continous computational models
Definability and Full Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
Domain semantics of possibility computations
Information Sciences: an International Journal
A Hoare Logic for Call-by-Value Functional Programs
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Operational domain theory and topology of sequential programming languages
Information and Computation
Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the completeness of order-theoretic models of the λ-calculus
Information and Computation
Automated deduction for verification
ACM Computing Surveys (CSUR)
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning with hypothetical judgments and open terms in hybrid
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational Effects and Operations: An Overview
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Converting an imperative program to a declarative one
Knowledge-Based Systems
Definability of total objects in PCF and related calculi
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
From logic to theoretical computer science: an update
Pillars of computer science
Pillars of computer science
Industrial-strength certified SAT solving through verified SAT proof checking
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Phonological interpretation into preordered algebras
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
Towards self-verification of HOL light
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Advanced Lectures on Software Engineering
A Simple Adequate Categorical Model for PCF, II
Fundamenta Informaticae
Bi-models: Relational Versus Domain-theoretic Approaches
Fundamenta Informaticae
A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions
Journal of Automated Reasoning
| Hi-index | 0.00 |