# André Hirschowitz

According to our database

Collaborative distances:

^{1}, André Hirschowitz authored at least 15 papers between 1994 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Proc. ACM Program. Lang., 2020

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

2019

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

2018

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2015

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2012

J. Autom. Reason., 2012

Proceedings of the Proceedings 8th Workshop on Fixed Points in Computer Science, 2012

2010

Inf. Comput., 2010

2009

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

2008

CoRR, 2008

2007

CoRR, 2007

Proceedings of the Logic, 2007

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

1995

Proceedings of the Typed Lambda Calculi and Applications, 1995

1994

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994