Sign in

Controlling unfolding in type theory.

Daniel GratzerJonathan SterlingCarlo AngiuliThierry CoquandLars Birkedal
Published in: CoRR (2022)
Keyphrases
  • theoretical framework
  • theoretical basis
  • real time
  • neural network
  • real world
  • probabilistic model