Peter Vesely "Typechecking the Charity Term Logic" Apr, 1997

Languages mentioned

• Charity {1990}