2007/08/16 by Kai Draper, Joel PustComputer Science · Psychology · #Computability, Logic, AI Algorithms #Philosophy and Theoretical Science #Logic, programming, and type systems
paper · doi:10.1007/s11229-007-9226-1