🎯
Focusing
PhD in Applied Logic. My specialties are Term Rewriting extensions for binding support, particularly lambda calculus and nominal syntax. Log n Funct prog langs.
- London, UK
Popular repositories Loading
-
cds_hooks_manager
cds_hooks_manager Publica microservice that leverages existing CDS Hooks and guideline representation formalisms to query, and manipulate, clinical workflow contexts towards identifying information to trigger parts of com…
-
-
eNominalTerms-Alpha
eNominalTerms-Alpha PublicProvides the syntax and logic for Nominal Terms extended with atom substitutions as primitive.
Haskell 1
-
-
diabetes-assess
diabetes-assess PublicForked from l0ft3r/SIGN116Model
Model of SIGN116 (2013) on Diabetes
Prolog 1
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.