Skip to main content
HoTTEST
Thorsten
31:57
hi
Thorsten
43:19
What are functions?
Thorsten
52:30
reliability semantics?
Thorsten
52:37
realizability
jonas
01:00:24
@Thorsten: I'm interested the normalization proof of coc by realizability with lambda terms. What should I look at if not your thesis?
Thorsten
01:01:08
@jonas It is very old and badly written, but there is a shorter paper
jonas
01:08:05
I see, thanks
jonas
01:10:10
@Carlo: relative cubical set
emilyriehl
01:17:50
Is coercion the same as box filing in dimension 1?
Andrew Pitts
01:43:40
I think the answer is yes you can transfer across a strict iso
jonas
01:45:58
I think so as well
jonas
01:46:28
sorry, to Andrew's comment
jonas
01:46:34
sorry for interrupting the discussion