Zeitpunkt Nutzer Delta Tröts TNR Titel Version maxTL Do 11.07.2024 00:00:00 191.520 0 9.151.853 47,8 Mastodon 4.3.0... 500 Mi 10.07.2024 00:00:02 191.520 -1 9.143.378 47,7 Mastodon 4.3.0... 500 Di 09.07.2024 00:00:00 191.521 -19 9.133.920 47,7 Mastodon 4.3.0... 500 Mo 08.07.2024 00:00:04 191.540 +1 9.125.263 47,6 Mastodon 4.3.0... 500 So 07.07.2024 00:00:02 191.539 -34 9.116.590 47,6 Mastodon 4.3.0... 500 Sa 06.07.2024 00:00:02 191.573 -2 9.109.015 47,5 Mastodon 4.3.0... 500 Fr 05.07.2024 00:00:04 191.575 -2 9.101.575 47,5 Mastodon 4.3.0... 500 Do 04.07.2024 00:00:00 191.577 -2 9.092.066 47,5 Mastodon 4.3.0... 500 Mi 03.07.2024 00:00:00 191.579 -2 9.082.513 47,4 Mastodon 4.3.0... 500 Di 02.07.2024 00:00:03 191.581 0 9.073.920 47,4 Mastodon 4.3.0... 500
Sebastian Graf (@sgraf) · 04/2022 · Tröts: 68 · Folger: 86
Do 11.07.2024 11:10
Having skimmed a fair bit of literature on Logical Relations, parametricity, bisimulation etc. in the past two years, I feel like the typical meaning associated with Logical Relations is a bit overloaded.
Specifically, there are two orthogonal meanings ascribed to Logical Relations:
1. A relation is logical if it lifts a relation on base types (bool, tyvars) to one on composite types in a type system (funs, forall, etc.).
2. A relation is logical if it is preserved by evaluation
[Öffentlich] Antw.: 0 Wtrl.: 0 Fav.: 0 · via Web