![]() |
![]() |
Apartness in constructive domain theoryAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Anupam Das. An apartness relation is a constructive strengthening, or positive formulation, of inequality. It is similar to the constructive distinction between nonempty (X ≠ ∅) and inhabited (∃ x ∈ X) sets. I will describe an apartness for continuous directed complete posets (domains) and explore its properties, focussing on intuitions and examples. === Zoom details === https://bham-ac-uk.zoom.us/j/81873335084?pwd=T1NaUFg2U1l6d0RLL2RlTzFBam1IUT09 Meeting ID: 818 7333 5084 Passcode: 217 This talk is part of the Lab Lunch series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsJane Langdale Filling in the blank – I will be ….... in 2050’ Electromagnetic Communications and Sensing Research Seminar SeriesOther talksSeminar: TBA Modelling uncertainty in image analysis. Seminar: TBA Seminar: TBA TBC Seminar: TBA |