×
Edit Profile (opens in new tab)

Bernardy, Jean-Philippe

Co-Author Distance
Author ID: bernardy.jean-philippe Recent zbMATH articles by "Bernardy, Jean-Philippe"
Published as: Bernardy, Jean-Philippe
External Links: MGP
Documents Indexed: 16 Publications since 2010, including 1 Book
1 Contribution as Editor
Co-Authors: 15 Co-Authors with 17 Joint Publications
156 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
6 Jansson, Patrik
3 Claessen, Koen
2 Lappin, Shalom
2 Maskharashvili, Aleksandre
2 Moulin, Guilhem
2 Paterson, Ross A.
1 Blanck, Rasmus
1 Chatzikyriakidis, Stergios
1 Coquand, Thierry
1 Grove, Julian
1 Guilhem, Moulin
1 Ionescu, Cezar
1 Lasson, Marc
1 Schupp, Sibylle
1 Zalewski, Marcin

Serials

3 Journal of Functional Programming
2 Journal of Logic, Language and Information
1 Applied Mathematics, Informatics and Mechanics
1 Texts in Computing
1 Logical Methods in Computer Science

Fields

14 Computer science (68-XX)
6 Mathematical logic and foundations (03-XX)
2 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 General and overarching topics; collections (00-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

12 Publications have been cited 78 times in 54 Documents Cited by ▼ Year ▼
Proofs for free. Parametricity for dependent types. Zbl 1271.68076
Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross
22
2012
A presheaf model of parametric type theory. Zbl 1351.68146
Bernardy, Jean-Philippe; Coquand, Thierry; Moulin, Guilhem
15
2015
Parametricity and dependent types. Zbl 1323.68095
Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross
11
2010
Realizability and parametricity in pure type systems. Zbl 1326.68068
Bernardy, Jean-Philippe; Lasson, Marc
7
2011
Type-theory in color. Zbl 1323.68198
Bernardy, Jean-Philippe; Guilhem, Moulin
7
2013
Testing polymorphic properties. Zbl 1260.68084
Bernardy, Jean-Philippe; Jansson, Patrik; Claessen, Koen
6
2010
A computational interpretation of parametricity. Zbl 1364.03021
Bernardy, Jean-Philippe; Moulin, Guilhem
4
2012
Efficient divide-and-conquer parsing of practical context-free languages. Zbl 1323.68329
Bernardy, Jean-Philippe; Claessen, Koen
2
2013
A computational treatment of anaphora and its algorithmic implementation. Zbl 1496.03057
Bernardy, Jean-Philippe; Chatzikyriakidis, Stergios; Maskharashvili, Aleksandre
1
2021
Algebraic structures in natural language. Zbl 1508.91007
1
2023
Domain-specific languages of mathematics. Zbl 1518.68003
Jansson, Patrik; Ionescu, Cezar; Bernardy, Jean-Philippe
1
2022
Unitary recurrent networks: algebraic and linear structures for syntax. Zbl 1516.91054
Bernardy, Jean-Philippe; Lappin, Shalom
1
2023
Algebraic structures in natural language. Zbl 1508.91007
1
2023
Unitary recurrent networks: algebraic and linear structures for syntax. Zbl 1516.91054
Bernardy, Jean-Philippe; Lappin, Shalom
1
2023
Domain-specific languages of mathematics. Zbl 1518.68003
Jansson, Patrik; Ionescu, Cezar; Bernardy, Jean-Philippe
1
2022
A computational treatment of anaphora and its algorithmic implementation. Zbl 1496.03057
Bernardy, Jean-Philippe; Chatzikyriakidis, Stergios; Maskharashvili, Aleksandre
1
2021
A presheaf model of parametric type theory. Zbl 1351.68146
Bernardy, Jean-Philippe; Coquand, Thierry; Moulin, Guilhem
15
2015
Type-theory in color. Zbl 1323.68198
Bernardy, Jean-Philippe; Guilhem, Moulin
7
2013
Efficient divide-and-conquer parsing of practical context-free languages. Zbl 1323.68329
Bernardy, Jean-Philippe; Claessen, Koen
2
2013
Proofs for free. Parametricity for dependent types. Zbl 1271.68076
Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross
22
2012
A computational interpretation of parametricity. Zbl 1364.03021
Bernardy, Jean-Philippe; Moulin, Guilhem
4
2012
Realizability and parametricity in pure type systems. Zbl 1326.68068
Bernardy, Jean-Philippe; Lasson, Marc
7
2011
Parametricity and dependent types. Zbl 1323.68095
Bernardy, Jean-Philippe; Jansson, Patrik; Paterson, Ross
11
2010
Testing polymorphic properties. Zbl 1260.68084
Bernardy, Jean-Philippe; Jansson, Patrik; Claessen, Koen
6
2010
all cited Publications top 5 cited Publications
all top 5

Cited by 89 Authors

6 Kaposi, Ambrus
5 Bernardy, Jean-Philippe
5 Coquand, Thierry
5 Nuyts, Andreas
4 Devriese, Dominique
3 Atkey, Robert
3 Ghani, Neil
3 Huber, Simon
3 Kovács, András
3 Voigtlander, Janis
2 Altenkirch, Thorsten
2 Birkedal, Lars
2 Cohen, Cyril
2 Gratzer, Daniel
2 Harper, Robert
2 Jansson, Patrik
2 Johann, Patricia
2 Kavvos, G. A.
2 Lasson, Marc
2 Mannaa, Bassel
2 Møgelberg, Rasmus Ejlers
2 Moulin, Guilhem
2 Nordvall Forsberg, Fredrik
2 Pédrot, Pierre-Marie
2 Pouillard, Nicolas
2 Sattler, Christian
2 Seidel, Daniel
2 Sozeau, Matthieu
2 Tabareau, Nicolas
1 Abel, Andreas M.
1 Anand, Abhishek
1 Angiuli, Carlo
1 Blanchette, Jasmin Christian
1 Bos, Nathaniel
1 Boulier, Simon
1 Bouzy, Aymeric
1 Brunerie, Guillaume
1 Cai, Yufei
1 Cavallo, Evan
1 Ceulemans, Joris
1 Choudhury, Pritam
1 Claessen, Koen
1 Cockx, Jesper
1 Eades, Harley III
1 Forster, Yannick
1 Giarrusso, Paolo G.
1 Gibbons, Jeremy
1 Grohne, Helmut
1 Grossman, Dan
1 Grove, Julian
1 Haveraaen, Magne
1 Höner zu Siederdissen, Christian
1 Hou (Favonia), Kuen-Bang
1 Jaber, Guilhem
1 Jansson, Julia
1 Järvi, Jaakko
1 Jaskelioff, Mauro
1 Kennedy, Andrew J.
1 Ko, Hsiang-Shang
1 Kunze, Fabian
1 Lappin, Shalom
1 Leo, John W.
1 Lewertowski, Gabriel
1 Licata, Daniel R.
1 Lochbihler, Andreas
1 Malecha, Gregory
1 McBride, Conor Thomas
1 Monnier, Stefan
1 Mörtberg, Anders
1 Ochs, Eduardo
1 O’Connor, Russell
1 Orsanigo, Federico
1 Ostermann, Klaus
1 Paterson, Ross A.
1 Popescu, Andrei
1 Pottier, François
1 Rabe, Florian
1 Riechert, Maik
1 Ringer, Talia
1 Simpson, Alex K.
1 Stadler, Peter F.
1 Stump, Aaron
1 Timany, Amin
1 Traytel, Dmitry
1 Veltri, Niccolò
1 Wadler, Philip Lee
1 Weirich, Stephanie
1 Winterhalter, Théo
1 Yazdani, Nathaniel
all top 5

Cited in 10 Serials

7 Journal of Functional Programming
5 Logical Methods in Computer Science
2 Theoretical Computer Science
2 Journal of Logic, Language and Information
2 Journal of Logical and Algebraic Methods in Programming
1 Acta Informatica
1 Journal of Automated Reasoning
1 Mathematical Structures in Computer Science
1 ACM Transactions on Computational Logic
1 Logica Universalis
all top 5

Cited in 8 Fields

36 Mathematical logic and foundations (03-XX)
36 Computer science (68-XX)
7 Category theory; homological algebra (18-XX)
6 Algebraic topology (55-XX)
1 Geometry (51-XX)
1 Mechanics of particles and systems (70-XX)
1 Operations research, mathematical programming (90-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year