Login / Signup

Strong Normalisation in λ-Calculi with References.

Romain DemangeonDaniel HirschkoffDavide Sangiorgi
Published in: FSEN (2011)
Keyphrases
  • database
  • real time
  • high level
  • fuzzy logic