Skip to content
Log in
Sponsored Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt Design Multi-Agent AI Systems Using MCP and A2A: Engineer your own Pyt

Author

Sebastián Urciuoli

h-index 1 View on Semantic Scholar

We have 1 of 4 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Jul 2026

A Machine-checked Proof of Consistency for Impredicative Pure Type Systems

This paper presents formal proofs of confluence for beta-reduction and of alpha-commutative relations, and develops a theory of alpha-commutative relations which, in the author's view, entails a clearer presentation and treatment of the problem than in similar developments.

Sebastián Urciuoli · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.