# Ambrus Kaposi

According to our database

Collaborative distances:

^{1}, Ambrus Kaposi authored at least 16 papers between 2014 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

CoRR, 2021

2020

Log. Methods Comput. Sci., 2020

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Proc. ACM Program. Lang., 2019

Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

PhD thesis, 2017

Log. Methods Comput. Sci., 2017

2016

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

2014

Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014