Login / Signup

Extracting a Proof of Coherence for Monoidal Categories from a Proof of Normalization for Monoids.

Ilya BeylinPeter Dybjer
Published in: TYPES (1995)
Keyphrases
  • real time
  • real world
  • learning environment
  • theorem proving
  • information retrieval
  • knowledge base
  • multiscale
  • information technology
  • object detection
  • automated theorem proving
  • proof planning