Cita APA (7a ed.)

He, Y., Yang, L., Gonzalo, C. C. G., & Chen, H. (2025). Evaluating Program Semantics Reasoning with Type Inference in System F.

Cita Chicago Style (17a ed.)

He, Yifeng, Luning Yang, Christopher Castro Gaw Gonzalo, y Hao Chen. Evaluating Program Semantics Reasoning with Type Inference in System F. 2025.

Cita MLA (9a ed.)

He, Yifeng, et al. Evaluating Program Semantics Reasoning with Type Inference in System F. 2025.