HYBRID swMATH ID: 421 Software Authors: Hybrid Group Description: Hybrid: a package for higher-order syntax in Isabelle and Coq. Homepage: http://hybrid.di.unimi.it/ Related Software: Twelf; Coq; PoplMark; Abella; Nominal Isabelle; Beluga; Isabelle; Isabelle/HOL; Bedwyr; Quipper; Ott; Psi-calculi; Delphin; LNgen; Gmeta; Agda; HOL; Lolli; Teyjus; Freshml Cited in: 18 Publications Further Publications: http://hybrid.di.unimi.it/publications.html all top 5 Cited by 27 Authors 7 Pientka, Brigitte 6 Felty, Amy P. 6 Momigliano, Alberto 2 Mahmoud, Mohamed Yousri 2 Miller, Dale Allen 2 Olarte, Carlos 2 Xavier, Bruno 1 Abel, Andreas M. 1 Allais, Guillaume 1 Cave, Andrew 1 Crole, Roy L. 1 Ferreira, Francisco H. G. 1 Furniss, Amy 1 Gacek, Andrew 1 Gheri, Lorenzo 1 Hameer, Aliya 1 Kaiser, Jonas Pilgaard 1 Nadathur, Gopalan 1 Nigam, Vivek 1 Popescu, Andrei 1 Reis, Giselle 1 Roşu, Grigore 1 Schäfer, Steven 1 Smolka, Gert 1 Stark, Kathrin 1 Thibodeau, David 1 Tiu, Alwen Fernanto Cited in 5 Serials 6 Journal of Automated Reasoning 4 MSCS. Mathematical Structures in Computer Science 1 Theoretical Computer Science 1 Journal of Functional Programming 1 Journal of Applied Logic Cited in 3 Fields 14 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 2 Quantum theory (81-XX) Citations by Year