‪Jui-Hsuan Wu‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	10	10
h-index	2	2
i10-index	0	0

0

4

2

202020212022202320241 1 4 3 1

Co-authors

Lutz StraßburgerInriaVerified email at lix.polytechnique.fr
Dominic J. D. HughesVerified email at theory.stanford.edu
Dale MillerInria-Saclay and LIX, Ecole 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	6	2021
A Positive Perspective on Term Representation (Invited Talk) D Miller, JH Wu 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 2023	2	2023
Checking the type safety of rewrite rules in the -calculus modulo rewriting JH Wu Ecole Normale Supérieure, 2019	2	2019
Proofs as Terms, Terms as Graphs JH Wu Asian Symposium on Programming Languages and Systems, 91-111, 2023		2023

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

Articles 1–4