Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Sharing in the Weak Lambda-Calculus
Blanc, Tomasz, Lévy, Jean-Jacques, Maranget, Luc
Published in Processes, Terms and Cycles: Steps on the Road to Infinity (2005)
Published in Processes, Terms and Cycles: Steps on the Road to Infinity (2005)
Get full text
Book Chapter
Model Theory for Process Algebra
Bergstra, Jan A., Middelburg, C. A. (Kees)
Published in Processes, Terms and Cycles: Steps on the Road to Infinity (2005)
Published in Processes, Terms and Cycles: Steps on the Road to Infinity (2005)
Get full text
Book Chapter