Login / Signup

Representing Model Theory in a Type-Theoretical Logical Framework.

Feryal Fulya HorozalFlorian Rabe
Published in: LSFA (2009)
Keyphrases
  • logical framework
  • computational model
  • high level
  • probabilistic model
  • special case
  • sufficient conditions
  • theoretical models