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 12; Issue 1
Main
Journal of Applied Logic
Volume 12; Issue 1
Journal of Applied Logic
Volume 12; Issue 1
1
Natural language semantics in biproduct dagger categories
Preller, Anne
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 523 KB
Your tags:
english, 2014
2
Selectional restrictions, types and categories
Asher, Nicholas
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 303 KB
Your tags:
english, 2014
3
Relational semantics for full linear logic
Coumans, Dion
,
Gehrke, Mai
,
van Rooijen, Lorijn
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 339 KB
Your tags:
english, 2014
4
Continuity and geometric logic
Vickers, Steven
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 294 KB
Your tags:
english, 2014
5
Editorial Board
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 46 KB
Your tags:
english, 2014
6
Formal Ontologies and Coherent Spaces
Abrusci, V. Michele
,
Fouqueré, Christophe
,
Romano, Marco
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 191 KB
Your tags:
english, 2014
7
Modeling Martin-Löf type theory in categories
Lamarche, François
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 329 KB
Your tags:
english, 2014
8
A model of type theory in simplicial sets
Streicher, T.
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 275 KB
Your tags:
english, 2014
9
Category theory, logic and formal linguistics: Some connections, old and new
Gillibert, Jean
,
Retoré, Christian
Journal:
Journal of Applied Logic
Year:
2014
Language:
english
File:
PDF, 324 KB
Your tags:
english, 2014
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
×
×