HYBRID

Hybrid: a package for higher-order syntax in Isabelle and Coq.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)

  1. Felty, Amy P.; Momigliano, Alberto; Pientka, Brigitte: The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey (2015)
  2. Popescu, Andrei; Roşu, Grigore: Term-generic logic (2015)
  3. Felty, Amy; Momigliano, Alberto: Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (2012)
  4. Gacek, Andrew; Miller, Dale; Nadathur, Gopalan: A two-level logic approach to reasoning about computations (2012)
  5. Tiu, Alwen; Momigliano, Alberto: Cut elimination for a logic with induction and co-induction (2012)
  6. Felty, Amy P.; Momigliano, Alberto: Hybrid: A definitional two-level approach to reasoning with higher-order abstract syntax (2008) ioport


Further publications can be found at: http://hybrid.di.unimi.it/publications.html