Confluence of an extension of combinatory logic by Boolean constants

Łukasz Czajka*

*Corresponding author for this work
7 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Confluence of an extension of combinatory logic by Boolean constants'. Together they form a unique fingerprint.

Engineering & Materials Science