Tzu-Chun Tsai

Orcid: 0009-0008-2855-5717

According to our database¹, Tzu-Chun Tsai authored at least 2 papers between 2016 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Can We Formalise Type Theory Intrinsically without Any Compromise? A Case Study in Cubical Agda.

[DOI]

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2016

Toward a Nationwide Mobile-Based Public Healthcare Service System with Wireless Sensor Networks.

[DOI]

Mob. Inf. Syst., 2016