BibTeX Export

@article{Authenticus:P-001-6AT,
	title = {{Counting a type's principal inhabitants - (Extended abstract)}},
	author = {S Broda and L Damas},
	doi = {10.1007/3-540-48959-2_7},
	journal = {Typed Lambda Calculi and Applications},
	pages = {69-82},
	publisher = {Springer-verlag Berlin},
	type = {Article},
	volume = {1581},
	year = {1999}
}