Extending higher-order logic with predicate subtyping: application to PVS

Preprints, Working Papers, ... Year : 2017

(1, 2)

1
2

Frédéric Gilbert

Laboratoire Sûreté des Logiciels

Logic in Computer Science [cs.LO] Formal Languages and Automata Theory [cs.FL]

Fichier principal

dissertation.pdf (1000.69 Ko)

Origin : Files produced by the author(s)

https://inria.hal.science/hal-01673518

Submitted on : Saturday, December 30, 2017-11:50:33 AM

Last modification on : Wednesday, May 15, 2024-1:50:04 PM

hal-01673518 , version 1 (30-12-2017)

hal-01673518 , version 2 (05-12-2018)

Frédéric Gilbert. Extending higher-order logic with predicate subtyping: application to PVS. 2017. ⟨hal-01673518v1⟩