Lambda / Functions / Extensional / Intensional Extensional : Functions as sets An extensional definition gives the meaning of a term by specifying its extension, that is, every object that falls under…
Lambda / Functions / Extensional / Intensional Extensional : Functions as sets An extensional definition gives the meaning of a term by specifying its extension, that is, every object that falls under…
讨论
登录后参与讨论
还没有评论，来说第一句吧。