Type theory in human-like learning and inference

Open in new window