Login / Signup

Unifying Sets and Programs via Dependent Types.

Wojciech Moczydlowski
Published in: LFCS (2009)
Keyphrases
  • e learning
  • image processing
  • three dimensional
  • automatic programming