Report copyright - Thesis Proposal: Refinement Types for LFwlovas/papers/proposal.pdfThesis Proposal: Refinement Types for LF William Lovas ([email protected]) October 7, 2008 Abstract ThelogicalframeworkLFanditsimplementationastheTwelfmetalogic
Please pass captcha verification before submit form