Galois connections presented calculationally

{
  "doi": null,
  "year": 1992,
  "title": "Galois connections presented calculationally",
  "venue": "Master's thesis, Eindhoven University of Technology",
  "authors": [
    "C. J. Aarts"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}