‪Jui-Hsuan Wu‬ - ‪Academic Search‬

Get my own profile

Cited by

	All	Since 2020
Citations	18	18
h-index	3	3
i10-index	0	0

0

10

5

202020212022202320241 1 4 3 9

Co-authors

Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Lutz StraßburgerInriaVerified email at lix.polytechnique.fr
Dominic J. D. HughesVerified email at theory.stanford.edu
Beniamino AccattoliInria & École PolytechniqueVerified email at inria.fr

Jui-Hsuan Wu

Jui-Hsuan Wu

Institut Polytechnique de Paris

Verified email at ens.fr - Homepage

Proof Theory Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Combinatorial proofs and decomposition theorems for first-order logic DJD Hughes, L Straßburger, JH Wu 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021	7	2021
A positive perspective on term representation (invited talk) D Miller, JH Wu 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 2023	5	2023
Proofs as terms, terms as graphs JH Wu Asian Symposium on Programming Languages and Systems, 91-111, 2023	3	2023
Checking the type safety of rewrite rules in the -calculus modulo rewriting JH Wu Ecole Normale Supérieure, 2019	2	2019
Positive Focusing is Directly Useful B Accattoli, JH Wu	1	2024
Proof theory, syntactic representations, logic, and sharing JH Wu

The system can't perform the operation now. Try again later.

Articles 1–6