ricerca dei libri
libri
Donare
Entrare
Entrare
gli utenti autorizzati hanno accesso a:
raccomandazioni personali
Telegram bot
cronologia dei download
inviare a email o Kindle
gestione delle raccolte
salvare nei preferiti
Personale
Richieste di libro
Studia
Z-Recommend
Elenco libri
Più popolari
Categorie
Partecipazione
Donare
Caricamenti
Litera Library
Dona i libri cartacei
Aggiungi i libri cartacei
Search paper books
Mio LITERA Point
Ricerca termini
Main
Ricerca termini
search
1
A category-theoretic approach to the semantics of programming languages
School of Computer and Information Science Syracuse University
Frank Joseph Oles
mng
comm
env
semf
pdom
exp
functor
diagram
acc
x:t
category
function
suppose
commutes
theorem
define
presub
compl
cartesian
assignment
continuous
functions
shape
bool
defined
consider
poset
exit6
functors
identifiers
commutativity
clashset
homomorphism
product
unique
categories
xeld
arrows
context
element
assign
directed
induction
arrow
cond
component
homz
sdom
mngx
predomain
Anno:
1982
Lingua:
english
File:
DJVU, 874 KB
I tuoi tag:
0
/
0
english, 1982
1
Segui
questo link
o cerca il bot "@BotFather" in Telegram
2
Invia il comando /newbot
3
Inserisci un nome del tuo bot
4
Inserisci un nome utente del bot
5
Copia l'ultimo messaggio da BotFather e incollalo qui
×
×