Concepedia

Andrea Schalk

AS

5

Publications

195

Citations

5

H-Index

1995

Active since

Affiliations

University of Cambridge(Current)

University of Manchester

Andrea Schalk is an author at University of Cambridge specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsSemanticsComputer ScienceGamesGame TheorySyntaxGrammarBusiness

Publications per year

1995–2005

5

Publications

5

Glueing and orthogonality for models of linear logic

Martin Hyland, Andrea Schalk · Theoretical Computer Science · 2003 · 131 citations

Non-classical Logic, Engineering, Automated Reasoning +3

Abstract Games for Linear Logic Extended Abstract

Martin Hyland, Andrea Schalk · Electronic Notes in Theoretical Computer Science · 1999 · 23 citations · Full text

Computational Logic, Computational Content, Engineering +13

Games on graphs and sequentially realizable functionals. Extended abstract

Martin Hyland, Andrea Schalk · 2003 · 19 citations

Engineering, Constructive Logic, Game Theory +16

A Fully Abstract Denotational Model for Observational Congruence

Anna Ingólfsdóttir, Andrea Schalk · BRICS Report Series · 1995 · 12 citations · Full text

Engineering, Higher-order Logic, Semantics +18

Modelling Linear Logic Without Units (Preliminary Results)

Robin Houston, Dominic J. D. Hughes, Andrea Schalk · arXiv (Cornell University) · 2005 · 10 citations · Full text

Applied Logic, Non-classical Logic, Fuzzy Logic +12

Rows per page

1–5 of 5