Prof. Elaine Pimentel — Research Profile
University College London · Department of Computer Science
About
Prof. Elaine Pimentel at University College London Department of Computer Science lists Logic and Computation as their registered research area.
Research keywords
Recent papers
- A generalised and modular proof-theoretic semantics for sequent systemsNewPreprintarXiv (Cornell University) · Oct 16
- Mathematical Explanations and Axioms as RulesTopoi · Sep 16
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Aleks Kissinger 교수 연구실
University of Oxford · Department of Computer Science
TensorRocq: Enabling Diagrammatic Reasoning in RocqProceedings of the ACM on Programming Languages · Oct 1Shared topic: Advanced Algebra and Logic
Sam Staton 교수 연구실
University of Oxford · Department of Computer Science
Hippogriff: a semantic approach to uniting core and modulesPreprintarXiv (Cornell University) · Aug 20Shared topic: Advanced Algebra and Logic
Stefan Kiefer 교수 연구실
University of Oxford · Department of Computer Science
Perturbation equivalence in labelled Markov chainsPreprintarXiv (Cornell University) · Sep 11Shared topic: Logic, programming, and type systems
Other labs in this department
- Alexandra Silva 교수 연구실
Algebra, Semantics, and Computation
- Ann Blandford 교수 연구실
Human Computer Interaction
- Anthony Steed 교수 연구실
Virtual Environment and Computer Graphics
- Arthur Gervais 교수 연구실
Information Security
- Benjamin Guedj 교수 연구실
Machine Learning and Foundational AI
- Brad Karp 교수 연구실
Computer Systems and Networks