Bartek Klin

Bartek Klin

University of Oxford
Email yang diverifikasi di cs.ox.ac.uk
Dirujuk 1559 kali
nominal sets coalgebra structural operational semantics logic in computer science
Sakineh Babaei

Sakineh Babaei

Istanbul Bilgi University
Email yang diverifikasi di bilgi.edu.tr
Dirujuk 175 kali
Module theory Ring Theory Local Cohomology Theory Nominal Sets
Steffen Lösch

Steffen Lösch

PhD Candidate, University of Cambridge
Email yang diverifikasi di cl.cam.ac.uk
Dirujuk 29 kali
Semantics Nominal Sets Category Theory Concurrency
Khadijeh Keshvardoost

Khadijeh Keshvardoost

Assistant professor of Mathematics, Velayat University
Email yang diverifikasi di velayat.ac.ir
Dirujuk 9 kali
Nominal sets Category theory Universal algebra Lattice theory