Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract)

@inproceedings{McBride2009LetsSH,
  title={Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract)},
  author={Conor McBride},
  booktitle={CALCO},
  year={2009}
}
BETA

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES

Coalgebras in dependent type theory

  • Anton Setzer
  • Talk at Agda Intensive Meeting 9,
  • 2008
Highly Influential
7 Excerpts

Guarded recursion in dependent type theory. Talk at Agda Implementors

  • Anton Setzer
  • Meeting 6,
  • 2007
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…