A framework for defining computational higher-order logics. (Un cadre de définition de logiques calculatoires d'ordre supérieur)

@inproceedings{Assaf2015AFF,
  title={A framework for defining computational higher-order logics. (Un cadre de d{\'e}finition de logiques calculatoires d'ordre sup{\'e}rieur)},
  author={Ali Assaf},
  year={2015}
}