Typing Lambda Terms in Elementary Logic with Linear Constraints

COPPOLA, Paolo

•

Martini S.

2001

book part

WOS

WOS:000174205600010

Archivio

http://hdl.handle.net/11390/682243

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84888877515

Diritti

metadata only access

Visualizzazioni

2

Data di acquisizione
Apr 19, 2024