Computer Science Logic

DOI10.1007/11538363zbMath1136.68428OpenAlexW2479351976MaRDI QIDQ5394573

Colin Stirling

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11538363

zbMATH Keywords

gamestyped lambda calculushigher-order matching

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Dependency Tree Automata ⋮ Model-Checking Games for Typed λ-Calculi

This page was built for publication: Computer Science Logic