Celf

swMATH22718MaRDI QIDQ34509FDOQ34509

Author name not available (Why is that?)

Official website: https://rd.springer.com/chapter/10.1007%2F978-3-540-71070-7_28

Described by source

• Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

Cited In (4)

• Plugging-in proof development environments using \textit{locks} in \(\mathsf{LF}\)
• Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda
• Lincx
• LLFp

This page was built for software: Celf