Assertion: free logic | /r/CapableOf | involve non-strict functions
Facets:
Source sentences:
text: Free logics involving non-strict functions find application in some programming languages (Gumb 2001, Gumb and Lambert 1991).