×

zbMATH — the first resource for mathematics

Felty, Amy P.

Compute Distance To:
Author ID: felty.amy-p Recent zbMATH articles by "Felty, Amy P."
Published as: Felty, Amy; Felty, Amy P.; Felty, A.
External Links: ORCID
Documents Indexed: 38 Publications since 1988, including 4 Books

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 110 times in 69 Documents Cited by Year
Higher-order abstract syntax in Coq. Zbl 1063.68650
Desperyroux, Joëlle; Felty, Amy; Hirschowitz, André
22
1995
Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax. Zbl 1252.68252
Felty, Amy; Momigliano, Alberto
16
2012
Specifying theorem provers in a higher-order logic programming language. Zbl 0645.68097
Felty, Amy; Miller, Dale
14
1988
The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey. Zbl 1357.68198
Felty, Amy P.; Momigliano, Alberto; Pientka, Brigitte
10
2015
Implementing tactics and tacticals in a higher-order logic programming language. Zbl 0783.68117
Felty, Amy
8
1993
Reasoning with higher-order abstract syntax and contexts: a comparison. Zbl 1291.68340
Felty, Amy; Pientka, Brigitte
6
2010
Encoding a dependent-type \(\lambda\)-calculus in a logic programming language. Zbl 0708.68090
Felty, A.; Miller, O.
6
1990
A logical framework for systems biology. Zbl 1402.92210
de Maria, Elisabetta; Despeyroux, Joëlle; Felty, Amy P.
4
2014
Higher-order abstract syntax in type theory. Zbl 1188.68260
Capretta, Venanzio; Felty, Amy P.
3
2009
Two-level meta-reasoning in Coq. Zbl 1013.68201
Felty, Amy P.
3
2002
A semantic model of types and machine instructions for proof-carrying code. Zbl 1323.68351
Appel, Andrew W.; Felty, Amy P.
3
2000
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Zbl 1400.68194
Felty, Amy; Momigliano, Alberto; Pientka, Brigitte
3
2018
Polymorphic lemmas and definitions in \(\lambda\)Prolog and Twelf. Zbl 1085.68015
Appel, Andrew W.; Felty, Amy P.
2
2004
Dependent types ensure partial correctness of theorem provers. Zbl 1083.68017
Appel, Andrew W.; Felty, Amy P.
2
2004
Encoding dependent types in an intuitionistic logic. Zbl 0754.03019
Felty, Amy
2
1991
Combining de Bruijn indices and higher-order abstract syntax in Coq. Zbl 1178.68525
Capretta, Venanzio; Felty, Amy P.
2
2007
Proof search with set variable instantiation in the calculus of constructions. Zbl 1412.68221
Felty, Amy
1
1996
Cache coherency in SCI: Specification and a sketch of correctness. Zbl 0953.68004
Felty, Amy; Stomp, Frank
1
1999
Theorem proving in higher order logics. 10th international conference, TPHOLs ’97. Murray Hill, NJ, USA. August 19–22, 1997. Proceedings. Zbl 0870.00024
Gunter, Elsa L. (ed.); Felty, Amy (ed.)
1
1997
Formalizing abstract computability: Turing categories in Coq. Zbl 1433.68585
Vinogradova, Polina; Felty, Amy P.; Scott, Philip
1
2018
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. Zbl 1400.68194
Felty, Amy; Momigliano, Alberto; Pientka, Brigitte
3
2018
Formalizing abstract computability: Turing categories in Coq. Zbl 1433.68585
Vinogradova, Polina; Felty, Amy P.; Scott, Philip
1
2018
The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey. Zbl 1357.68198
Felty, Amy P.; Momigliano, Alberto; Pientka, Brigitte
10
2015
A logical framework for systems biology. Zbl 1402.92210
de Maria, Elisabetta; Despeyroux, Joëlle; Felty, Amy P.
4
2014
Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax. Zbl 1252.68252
Felty, Amy; Momigliano, Alberto
16
2012
Reasoning with higher-order abstract syntax and contexts: a comparison. Zbl 1291.68340
Felty, Amy; Pientka, Brigitte
6
2010
Higher-order abstract syntax in type theory. Zbl 1188.68260
Capretta, Venanzio; Felty, Amy P.
3
2009
Combining de Bruijn indices and higher-order abstract syntax in Coq. Zbl 1178.68525
Capretta, Venanzio; Felty, Amy P.
2
2007
Polymorphic lemmas and definitions in \(\lambda\)Prolog and Twelf. Zbl 1085.68015
Appel, Andrew W.; Felty, Amy P.
2
2004
Dependent types ensure partial correctness of theorem provers. Zbl 1083.68017
Appel, Andrew W.; Felty, Amy P.
2
2004
Two-level meta-reasoning in Coq. Zbl 1013.68201
Felty, Amy P.
3
2002
A semantic model of types and machine instructions for proof-carrying code. Zbl 1323.68351
Appel, Andrew W.; Felty, Amy P.
3
2000
Cache coherency in SCI: Specification and a sketch of correctness. Zbl 0953.68004
Felty, Amy; Stomp, Frank
1
1999
Theorem proving in higher order logics. 10th international conference, TPHOLs ’97. Murray Hill, NJ, USA. August 19–22, 1997. Proceedings. Zbl 0870.00024
Gunter, Elsa L.; Felty, Amy
1
1997
Proof search with set variable instantiation in the calculus of constructions. Zbl 1412.68221
Felty, Amy
1
1996
Higher-order abstract syntax in Coq. Zbl 1063.68650
Desperyroux, Joëlle; Felty, Amy; Hirschowitz, André
22
1995
Implementing tactics and tacticals in a higher-order logic programming language. Zbl 0783.68117
Felty, Amy
8
1993
Encoding dependent types in an intuitionistic logic. Zbl 0754.03019
Felty, Amy
2
1991
Encoding a dependent-type \(\lambda\)-calculus in a logic programming language. Zbl 0708.68090
Felty, A.; Miller, O.
6
1990
Specifying theorem provers in a higher-order logic programming language. Zbl 0645.68097
Felty, Amy; Miller, Dale
14
1988
all top 5

Cited by 98 Authors

10 Felty, Amy P.
8 Pientka, Brigitte
7 Miller, Dale Allen
6 Momigliano, Alberto
5 Miculan, Marino
5 Olarte, Carlos
5 Pfenning, Frank
4 Despeyroux, Joëlle
4 Honsell, Furio
4 Scagnetto, Ivan
3 Ciaffaglione, Alberto
3 Nadathur, Gopalan
3 Pimentel, Elaine
2 Harper, Robert
2 Howe, Douglas J.
2 Mahmoud, Mohamed Yousri
2 Meseguer Guaita, José
2 Nigam, Vivek
1 Abel, Andreas M.
1 Affeldt, Reynald
1 Alessi, Fabio
1 Allais, Guillaume
1 Anderson, Penny
1 Appel, Andrew W.
1 Aspinall, David
1 Atkey, Robert
1 Avron, Arnon
1 Besson, Frédéric
1 Byrd, William E.
1 Cave, Andrew
1 Cervesato, Iliano
1 Chaudhuri, Kaustuv
1 Chiarugi, Davide
1 Chihani, Zakaria
1 Colby, Christopher
1 Crary, Karl
1 Crole, Roy L.
1 Denney, Ewen
1 Di Gianantonio, Pietro
1 Falaschi, Moreno
1 Ferreira, Francisco H. G.
1 Friedman, Daniel P.
1 Furniss, Amy
1 Gacek, Andrew
1 Gadea, Alejandro
1 Gallier, Jean H.
1 Galmiche, Didier
1 Gardiner, Paul H. B.
1 Garner, Richard
1 Gheri, Lorenzo
1 Giunchiglia, Fausto
1 Guidi, Ferruccio
1 Gunther, Emmanuel
1 Haftmann, Florian
1 Hamana, Makoto
1 Hameer, Aliya
1 Hermith, Diana
1 Hirschowitz, Tom
1 Kaiser, Jonas Pilgaard
1 Kobayashi, Naoki
1 Lenisa, Marina
1 Licata, Daniel R.
1 Liquori, Luigi
1 Lüth, Christoph
1 Martí-Oliet, Narciso
1 Mason, Ian A.
1 Near, Joseph P.
1 Pagano, Miguel
1 Pardon, Aurélien
1 Paulson, Lawrence Charles
1 Pichardie, David
1 Pollack, Robert
1 Popescu, Andrei
1 Pym, David J.
1 Reis, Giselle
1 Renaud, Fabien
1 Roşu, Grigore
1 Sacerdoti Coen, Claudio
1 Scedrov, Andre
1 Schäfer, Steven
1 Schürmann, Carsten
1 Scott, Philip J.
1 Smith, Jan M.
1 Smolka, Gert
1 Snyder, Wayne
1 Stark, Kathrin
1 Swadi, Kedar N.
1 Tammet, Tanel
1 Tassi, Enrico
1 Thibodeau, David
1 Tiu, Alwen Fernanto
1 Traverso, Paolo
1 Urban, Christian
1 Vinogradova, Polina
1 Virga, Roberto
1 Wenzel, Makarius
1 Woodcock, James C. P.
1 Xavier, Bruno

Citations by Year