FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK KEYWORD INDEX

Shortcuts: ACDEILMNPQS
A
Abstract simplicial complexes
C
Call by value
Categorical models
categorical semantics
Chu construction
D
Denotational semantics
Differential Categories
Differential Linear Logic
E
Exponential maps
Exponentials
I
Intermediate Logics
L
lambda-calculus
Linear Algebra
linear logic
linearize arithmetic
logical relations
M
muMALL
N
negative translation
P
Peano arithmetic
polarity
Program equivalence
Proof net
proof theory
Q
Quantum Computing
S
Sequentialization
Session types
Simplicial homology
Solvability
Subexponentials
{"ft_lang_label":"__label__en","ft_lang_prob":0.5582956,"math_prob":0.83491933,"size":685,"snap":"2023-40-2023-50","text_gpt3_token_len":200,"char_repetition_ratio":0.1071953,"word_repetition_ratio":0.0,"special_character_ratio":0.17956205,"punctuation_ratio":0.012048192,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9927299,"pos_list":[0,1,2],"im_url_duplicate_count":[null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-12-07T00:02:46Z\",\"WARC-Record-ID\":\"<urn:uuid:35422f72-bbf9-4acf-bf58-70081fc1eb67>\",\"Content-Length\":\"18352\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:c9fa898a-83a4-4306-83d5-362050443410>\",\"WARC-Concurrent-To\":\"<urn:uuid:f4e2cf17-3407-4c61-99c5-2dabe955337e>\",\"WARC-IP-Address\":\"213.136.76.235\",\"WARC-Target-URI\":\"https://easychair.org/smart-program/FLoC2022/TLLALINEARITY-talk_keyword_index.html\",\"WARC-Payload-Digest\":\"sha1:3WXYAZTZ2GDA45W47YOKP2KJEG5WCJMB\",\"WARC-Block-Digest\":\"sha1:GBXCBBZKOVS67S3UFRJ3AQSA26YBAOM2\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-50/CC-MAIN-2023-50_segments_1700679100626.1_warc_CC-MAIN-20231206230347-20231207020347-00737.warc.gz\"}"}