Mechanizing proof theory: resource-aware logics and proof-transformations to extract implicit information

• Authors:

• Solomon Feferman;Gianluigi Bellin

• Affiliations:

• -;-

• Venue:
• Mechanizing proof theory: resource-aware logics and proof-transformations to extract implicit information
• Year:
• 1990