Skip to content

A Semantic Approach to Illative Combinatory Logic.

Lukasz Czajka

VenueBCSL
Year2011
ProceedingsCSL

Browse the full CSL paper archive.