Proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS'12)

@inproceedings{GrahamLengrand2013ProceedingsOT,
  title={Proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS'12)},
  author={St'ephane Graham-Lengrand and Luca Paolini},
  year={2013}
}
2 Citations
Non-idempotent types for classical calculi in natural deduction style
  • 4
  • PDF