Work

Typed lambda calculi and possible worlds models

Year: 2013
Type: article
Author: Chris Potts
Language: English
Open Access status: closed
OpenAlex ID: W7098436373
FWCI:
Cites:
Cited by:
Related to: 10