books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 347
Main
Electronic Notes in Theoretical Computer Science
Volume 347
Electronic Notes in Theoretical Computer Science
Volume 347
1
The Effects of Effects on Constructivism
Cohen, Liron
,
Abreu Faro, Sofia
,
Tate, Ross
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 527 KB
Your tags:
2019
2
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism
Wang, Di
,
Hoffmann, Jan
,
Reps, Thomas
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 415 KB
Your tags:
2019
3
Preface
König, Barbara
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 106 KB
Your tags:
2019
4
Bisimulation Maps in Presheaf Categories
Beohar, Harsh
,
Küpper, Sebastian
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 334 KB
Your tags:
2019
5
Diacritical Companions
Biernacki, Dariusz
,
Lenglet, Sergueï
,
Polesiuk, Piotr
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 344 KB
Your tags:
2019
6
Bisimulation for Feller-Dynkin Processes
Chen, Linan
,
Clerc, Florence
,
Panangaden, Prakash
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 293 KB
Your tags:
2019
7
Taylor Expansion, Finiteness and Strategies
Chouquet, Jules
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 337 KB
Your tags:
2019
8
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice
Lago, Ugo Dal
,
Gavazzo, Francesco
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 342 KB
Your tags:
2019
9
Learning along a Channel: the Expectation part of Expectation-Maximisation
Jacobs, Bart
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 308 KB
Your tags:
2019
10
Neural Nets via Forward State Transformation and Backward Loss Transformation
Jacobs, Bart
,
Sprunger, David
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 276 KB
Your tags:
2019
11
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
Kaarsgaard, Robin
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 384 KB
Your tags:
2019
12
From Global to Local State, Coalgebraically and Compositionally
Laird, Jim
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 306 KB
Your tags:
2019
13
Towards a Directed Homotopy Type Theory
North, Paige Randall
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 299 KB
Your tags:
2019
14
Deriving Logical Relations from Interpretations of Predicate Logic
Hermida, Claudio
,
Reddy, Uday S.
,
Robinson, Edmund P.
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 294 KB
Your tags:
2019
15
The Construction of Set-Truncated Higher Inductive Types
van der Weide, Niels
,
Geuvers, Herman
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 312 KB
Your tags:
2019
16
Quantitative Logics for Equivalence of Effectful Programs
Voorneveld, Niels
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2019
File:
PDF, 364 KB
Your tags:
2019
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×