A proof-producing software compiler for a subset of higher order logic (2006)

Cached

Download Links

by Konrad Slind , Guodong Li , Scott Owens
Citations:7 - 1 self