The following pages link to Christine Tasson (Q891920):
Displaying 6 items.
- Iterated chromatic subdivisions are collapsible (Q891921) (← links)
- Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings (Q1027645) (← links)
- Geometric and combinatorial views on asynchronous computability (Q1657197) (← links)
- From geometric semantics to asynchronous computability (Q1664156) (← links)
- (Q5079760) (← links)
- Taylor expansion for Call-By-Push-Value (Q5874202) (← links)