Typed Lambda Calculi and Applications

Overview of attention for book

Attention for Chapter: Inductive definitions in the system Coq rules and properties

Altmetric Badge

Mentioned by

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 636 followers.

純粋型システム（PTS）からCICへ． https://t.co/ka5KfKZ4Zi Inductive Typeの形式化．CC，CCμ，CC+，CICのような階層がありそう（詳しくは読み切れてない） https://t.co/3yRcmY2vLj

@ArthurB Coq reference manual? https://t.co/dF7MgL4OBW Inductive definitions in the system Coq, rules and properties https://t.co/XcqxjHTCI6 or including universe polymorphism https://t.co/F6iporwJ6j

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.