Constructions, inductive types and strong normalization ^{الإنجليزية} (Q3877171)

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

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Constructions, inductive types and strong normalization	doctoral thesis

بيانات

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

٠ مرجع

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

١ مراجع

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

Constructions, inductive types and strong normalization (الإنجليزية)

١ مراجع

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

Thorsten Altenkirch ^{الإنجليزية}

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

Thorsten Altenkirch

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

1

١ مراجع

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

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

١ مراجع