Open AccessEncoding many-valued logic in $\lambda$-calculus
Author(s) -
Fred De Vries
Publication year - 2018
Publication title -
cornell university
Language(s) - Uncategorized
DOI - 10.46298/lmcs-:4)2021
Subject(s) - church encoding , encoding (memory) , lambda , calculus (dental) , many valued logic , lambda calculus , extension (predicate logic) , mathematics , typed lambda calculus , discrete mathematics , simply typed lambda calculus , computer science , theoretical computer science , programming language , description logic , artificial intelligence , physics , medicine , dentistry , optics