Dependently typed functional programs and their proofs ^{الإنجليزية} (Q3879421)

doctoral thesis ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Dependently typed functional programs and their proofs	doctoral thesis

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

instance of ^{الإنجليزية}

١ مراجع

title ^{الإنجليزية}

Dependently typed functional programs and their proofs (الإنجليزية)

١ مراجع

author ^{الإنجليزية}

Conor McBride ^{الإنجليزية}

object named as ^{الإنجليزية}

Conor McBride

series ordinal ^{الإنجليزية}

1

١ مراجع

publication date ^{الإنجليزية}

2000^{http://data.marefa.org/entity/Q1985727}

١ مراجع