Selected publications at LSV

@phdthesis{Gilbert-phd2018,
   author = {Gilbert, Fr{\'e}d{\'e}ric},
   month = apr,
   school = {Universit{\'e} Paris~7, Paris, France},
   type = {Th{\`e}se de doctorat},
   title = {{Extending higher-order logic with predicate subtyping}},
   year = {2018},
}

About LSV

Select by Year