Small Proof Witnesses for LF - PowerPoint PPT Presentation

1 / 24
} ?>
View by Category
About This Presentation
Title:

Small Proof Witnesses for LF

Description:

Generalize Substitution Trees. Example: A Natural Deduction Logic. alli : prov (forall x. P x) ... alli. alle. impe. alle. impi. impe. alle. impe. u (1/3 ) (2/3 ) ... – PowerPoint PPT presentation

Number of Views:45
Avg rating:3.0/5.0
Slides: 25
Provided by: Susmit
Learn more at: http://www.cs.cmu.edu
Category:
Tags: lli | proof | witnesses

less

Write a Comment
User Comments (0)
About PowerShow.com